diff options
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 @@ +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@ |