diff options
Diffstat (limited to 'lib-src')
| -rw-r--r-- | lib-src/ChangeLog | 5 | ||||
| -rw-r--r-- | lib-src/Makefile.in | 5 |
2 files changed, 6 insertions, 4 deletions
diff --git a/lib-src/ChangeLog b/lib-src/ChangeLog index 53d66ba1e37..d2e9dd18177 100644 --- a/lib-src/ChangeLog +++ b/lib-src/ChangeLog @@ -1,3 +1,8 @@ +2013-08-28 Paul Eggert <eggert@cs.ucla.edu> + + * Makefile.in (SHELL): Now @SHELL@, not /bin/sh, + for portability to hosts where /bin/sh has problems. + 2013-08-10 Eli Zaretskii <eliz@gnu.org> * update-game-score.exe.manifest: New file. diff --git a/lib-src/Makefile.in b/lib-src/Makefile.in index fe1900a2a40..994eb2bb266 100644 --- a/lib-src/Makefile.in +++ b/lib-src/Makefile.in @@ -18,10 +18,7 @@ # You should have received a copy of the GNU General Public License # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. - -# Avoid trouble on systems where the `SHELL' variable might be -# inherited from the environment. -SHELL = /bin/sh +SHELL = @SHELL@ # Following ../lisp/Makefile.in. EMACS = ../src/emacs |