Hello, I remember once received a similar bug report from a csh user about another GNU software. At that time, it was possible to avoid error with either ./configure SHELL=/bin/sh or ./configure CONFIG_SHELL=/bin/sh
Tried above using csh as user shell, but in vain. May be the difference is whether SHELL and CONFIG_SHELL are exported when specified as configure command line argument. --- Kiyoshi _______________________________________________ Bug-dejagnu mailing list Bug-dejagnu@gnu.org https://lists.gnu.org/mailman/listinfo/bug-dejagnu
