diff options
| author | Jim Meyering <jim@meyering.net> | 1999-01-17 13:53:32 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 1999-01-17 13:53:32 +0000 |
| commit | f5f0c17fe9fc1d6a32a13172144863e53f1a30d2 (patch) | |
| tree | c203111cc3b596a64ed3cd3fd04b9b4330da4b74 /GNUmakefile | |
| parent | d34ec088163d06764549fe0e2419019d7c8dca35 (diff) | |
| download | coreutils-f5f0c17fe9fc1d6a32a13172144863e53f1a30d2.tar.xz | |
Add SHELL = /bin/sh.
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 861ce8e38..0f4e21c69 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, |