On 10 Oct 2014, at 18:42 , Wietse Venema <wie...@porcupine.org> wrote: > A few minutes ago I updated the makedefs script so that it documents > the "make makefiles" options in a comment at the beginning of the > file makedefs.out which is usually installed in $config_directory.
Is this something that will help me reconstruct the make flags I used when I compiled 2.10 or just a useful feature for the future? -- "Oh my god. What can it be? We're all doomed! Who's flying this thing!?" (pause) "Oh right, that would be me, back to work."
