Follow-up Comment #3, sr#110612 (group autoconf):
[comment #1 comment #1:]
> If you or anyone else has ideas for how to tell "configure" from "sh
configure", I am all ears.
If it's Bash, "$_" (at the start of the script) should tell you. This is true
for other shells (e.g., it works with Solaris 10 /bin/sh) but I don't know
whether it's universal. Not sure whether it's worth the trouble.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/support/?110612>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
