On Tue, Jan 17, 2017 at 11:52:35PM +0100, Ludovic Court??s wrote:
     ludo@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.