summaryrefslogtreecommitdiff
path: root/admin
diff options
context:
space:
mode:
authorPaul Eggert <eggert@cs.ucla.edu>2013-08-27 23:01:52 -0700
committerPaul Eggert <eggert@cs.ucla.edu>2013-08-27 23:01:52 -0700
commit50b13cdedb19f4bdd6737e8d2cdb4daa4e886c92 (patch)
treea58d431171217eb2172386e3b67452fa09d79f99 /admin
parentf60e429a1a1a0d6a51761ef12e54dde52967f085 (diff)
* 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/ChangeLog5
-rw-r--r--admin/unidata/Makefile.in2
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 @@
+2013-08-28 Paul Eggert <eggert@cs.ucla.edu>
+
+ * unidata/Makefile.in (SHELL): Now @SHELL@, not /bin/sh,
+ for portability to hosts where /bin/sh has problems.
+
2013-08-27 Glenn Morris <rgm@gnu.org>
* 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 @@
# You should have received a copy of the GNU General Public License
# along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
-SHELL = /bin/sh
+SHELL = @SHELL@
srcdir = @srcdir@
abs_builddir = @abs_builddir@