From: Jim Meyering Date: Sun, 17 Jan 1999 13:53:32 +0000 (+0000) Subject: Add SHELL = /bin/sh. X-Git-Tag: TEXTUTILS-1_22h~165 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f5f0c17fe9fc1d6a32a13172144863e53f1a30d2;p=thirdparty%2Fcoreutils.git Add SHELL = /bin/sh. --- diff --git a/GNUmakefile b/GNUmakefile index 861ce8e38f..0f4e21c69b 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -4,6 +4,10 @@ # It is necessary if you want to build targets usually of interest # only to the maintainer. +# 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. +SHELL = /bin/sh + have-Makefile := $(shell test -f Makefile && echo yes) # If the user runs GNU make but has not yet run ./configure,