(Did you mean to add debian-bugs-dist and Jonathan Nieder on purpose or by 
accident? I removed them, but feel free to add them back in.)

Thorsten Glaser:
>> proposed patch affect your scenario? This is not about CONFIG_SHELL,
> It is. Straight from your diff:
>>      for gl_cv_posix_shell in \
>> -        "$CONFIG_SHELL" "$SHELL" /bin/sh /bin/bash /bin/ksh /bin/sh5 no; do
>> +        /bin/sh /bin/bash /bin/ksh /bin/sh5 "$CONFIG_SHELL" "$SHELL" no; do
> This makes $CONFIG_SHELL no longer the preferred POSIX shell.
> This breaks when a system has a /bin/sh that passes all gnulib
> tests (and thus is used as POSIX_SHELL) but has other bugs that
> make it unusable, for example. The user can then no longer over‐
> ride this bad choice of the configury.

In such a case, it is a bug to be using $POSIX_SHELL - which only tests for 
conformance with POSIX and not these "other bugs that make it unusable".

In other words: in your scenario, one would not use $POSIX_SHELL but some other 
specific test for those "other bugs".


GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE

Reproducible-builds mailing list

Reply via email to