Re: Allow disabling of CONFIG_SHELL in the configure phase

2016-09-13 Thread Arun Isaac
> I find that it’s not that much work to replace the ‘configure’ phase, > and it’s not too common (Autoconf-generated ‘configure’ scripts all > honor CONFIG_SHELL.) > > We could add a Boolean flag for CONFIG_SHELL, but I bet manually written > ‘configure’ scripts may need more than just that anywa

Re: Allow disabling of CONFIG_SHELL in the configure phase

2016-09-13 Thread Ludovic Courtès
Arun Isaac skribis: > I am packaging optipng (http://optipng.sourceforge.net/) with the > gnu-build-system, and its configure script does not like being passed > CONFIG_SHELL. It fails with the following error: > > ./configure: error: unknown option: > CONFIG_SHELL=/gnu/store/ykzwykkvr2c80rw4l1q