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 /admin | |
| 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 'admin')
| -rw-r--r-- | admin/ChangeLog | 5 | ||||
| -rw-r--r-- | admin/unidata/Makefile.in | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 245c809ec81..29118deba7f 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2013-08-28 Paul Eggert <eggert@cs.ucla.edu> | ||
| 2 | |||
| 3 | * unidata/Makefile.in (SHELL): Now @SHELL@, not /bin/sh, | ||
| 4 | for portability to hosts where /bin/sh has problems. | ||
| 5 | |||
| 1 | 2013-08-27 Glenn Morris <rgm@gnu.org> | 6 | 2013-08-27 Glenn Morris <rgm@gnu.org> |
| 2 | 7 | ||
| 3 | * admin.el (manual-misc-manuals): Use INFO_COMMON rather than | 8 | * admin.el (manual-misc-manuals): Use INFO_COMMON rather than |
diff --git a/admin/unidata/Makefile.in b/admin/unidata/Makefile.in index c759079a49a..df225cc8cbf 100644 --- a/admin/unidata/Makefile.in +++ b/admin/unidata/Makefile.in | |||
| @@ -21,7 +21,7 @@ | |||
| 21 | # You should have received a copy of the GNU General Public License | 21 | # You should have received a copy of the GNU General Public License |
| 22 | # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. | 22 | # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
| 23 | 23 | ||
| 24 | SHELL = /bin/sh | 24 | SHELL = @SHELL@ |
| 25 | 25 | ||
| 26 | srcdir = @srcdir@ | 26 | srcdir = @srcdir@ |
| 27 | abs_builddir = @abs_builddir@ | 27 | abs_builddir = @abs_builddir@ |