diff options
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. |