On Wed, Oct 30, 2013 at 10:20:52PM +0100, Ludovic Courtès wrote: > Works for me. > > Note that when run outside of ./pre-inst-env, it modifies the installed > gnunet.scm file. Is this what happened?
I tried again with libmicrohttpd (which is smaller). It works with ./pre-inst-env by modifying the file below the current directory, and indeed modifies the installed file without pre-inst-env. Which is logical upon thinking it through. Sorry for the noise! Andreas
