diff options
| author | Paul Eggert | 2013-08-27 23:01:52 -0700 |
|---|---|---|
| committer | Paul Eggert | 2013-08-27 23:01:52 -0700 |
| commit | 50b13cdedb19f4bdd6737e8d2cdb4daa4e886c92 (patch) | |
| tree | a58d431171217eb2172386e3b67452fa09d79f99 /Makefile.in | |
| parent | f60e429a1a1a0d6a51761ef12e54dde52967f085 (diff) | |
| download | emacs-50b13cdedb19f4bdd6737e8d2cdb4daa4e886c92.tar.gz emacs-50b13cdedb19f4bdd6737e8d2cdb4daa4e886c92.zip | |
* 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 @@ | |||
| 56 | # make docs | 56 | # make docs |
| 57 | # Make Emacs documentation files from their sources; requires makeinfo. | 57 | # Make Emacs documentation files from their sources; requires makeinfo. |
| 58 | 58 | ||
| 59 | SHELL = /bin/sh | 59 | SHELL = @SHELL@ |
| 60 | 60 | ||
| 61 | # This may not work with certain non-GNU make's. It only matters when | 61 | # This may not work with certain non-GNU make's. It only matters when |
| 62 | # inheriting a CDPATH not starting with the current directory. | 62 | # inheriting a CDPATH not starting with the current directory. |