diff options
author | Paul Eggert <[email protected]> | 2013-08-27 23:01:52 -0700 |
---|---|---|
committer | Paul Eggert <[email protected]> | 2013-08-27 23:01:52 -0700 |
commit | 50b13cdedb19f4bdd6737e8d2cdb4daa4e886c92 (patch) | |
tree | a58d431171217eb2172386e3b67452fa09d79f99 /Makefile.in | |
parent | f60e429a1a1a0d6a51761ef12e54dde52967f085 (diff) |
* Makefile.in (SHELL): Now @SHELL@, not /bin/sh,
for portability to hosts where /bin/sh has problems.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index d5cd6bd8d2..8e3a846c8d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -56,7 +56,7 @@ # make docs # Make Emacs documentation files from their sources; requires makeinfo. -SHELL = /bin/sh +SHELL = @SHELL@ # This may not work with certain non-GNU make's. It only matters when # inheriting a CDPATH not starting with the current directory. |