On Tue, Jan 17, 2017 at 11:52:35PM +0100, Ludovic Court??s wrote:
l...@gnu.org (Ludovic Court??s) skribis:
> Pushed with tests as 384344198dcaa97847e66d3dd82f279ede08d690.
And if you get a weird error when running ???make??? about
???file-system-needed-for-boot????, just run:
rm gnu/system.go && make
This is because of an ABI break: ???file-system-needed-for-boot???? was a
macro and now is a procedure.
Surely this means that the Makefile is wrong?It should recognise that gnu/system.scm has changed and rebuild gnu/system.go accordingly. J' -- Avoid eavesdropping. Send strong encrypted email. PGP Public key ID: 1024D/2DE827B3 fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://sks-keyservers.net or any PGP keyserver for public key.
signature.asc
Description: Digital signature
