On Thu, Aug 29, 2013 at 11:25:56PM +0200, Ludovic Courtès wrote: > I think it’s a pain^W^W^W Thanks for taking of that! :-)
I am not claiming that I will necessarily finish it... We might also lack some dependencies yet. > ./configure CONFIG_SHELL=... SHELL=... > That works well with current Autoconf-generated configure scripts, but > fails with others. > > The workaround is to replace the ‘configure’ phase so that it invokes > ./configure without the offending arguments (see time.scm for an > example.) Ah, thanks! I tried by hand - I can use either SHELL= or CONFIG_SHELL= after ./configure, but not both. Andreas
