Re: config.status[12]: export: SHELL##: is not an identifier

Paul Eggert <[email protected]> Mon, 5 Aug 2024 10:02:13 -0700
Newsgroups gmane.comp.sysutils.autoconf.general
Organization UCLA Computer Science Department
Message-ID <[email protected]>
On 2024-08-04 15:33, Bob Friesenhahn wrote:
> Hopefully a future stable Autoconf will detect the broken shell and set 
> CONFIG_SHELL=/usr/bin/bash in order to succeed.

That will happen if someone gives us a reliable way to detect the broken 
shell, most likely by inspecting ${.sh.version} or equivalent. Could you 
do that? If you don't do it, I expect it'd be quite some time before 
someone else did, as there aren't that many OmniOS users.