diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2013-08-27 23:01:52 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2013-08-27 23:01:52 -0700 |
| commit | 50b13cdedb19f4bdd6737e8d2cdb4daa4e886c92 (patch) | |
| tree | a58d431171217eb2172386e3b67452fa09d79f99 /Makefile.in | |
| parent | f60e429a1a1a0d6a51761ef12e54dde52967f085 (diff) | |
| download | emacs-50b13cdedb19f4bdd6737e8d2cdb4daa4e886c92.tar.gz | |
* 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 d5cd6bd8d20..8e3a846c8df 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. |