Re: [PATCH CVS] OS/2 Gnumakefile

[Akim Demaille]

 >> Please, install.

 Ilya> Sorry, I do not follow what you are saying.  Install what?

It meant, please, record this in CVS Autoconf.  I just did:

Index: ChangeLog
from  Akim Demaille  <address@hidden>

        * GNUmakefile (SHELL): Don't assume sh is in /bin/.
        From Ilya Zakharevich.

Index: GNUmakefile
===================================================================
RCS file: /cvsroot/autoconf/autoconf/GNUmakefile,v
retrieving revision 1.2
diff -u -u -r1.2 GNUmakefile
--- GNUmakefile 12 Aug 2001 13:05:11 -0000 1.2
+++ GNUmakefile 8 Apr 2003 07:41:09 -0000
@@ -22,7 +22,13 @@
 
 # Systems where /bin/sh is not the default shell need this.  The $(shell)
 # command below won't work with e.g. stock DOS/Windows shells.
+ifeq ($(wildcard /bin/s[h]),/bin/sh)
 SHELL = /bin/sh
+else
+# will be used only with the next shell-test line, then overwritten
+# by a configured-in value
+SHELL = sh
+endif
 
 have-Makefile := $(shell test -f Makefile && echo yes)