summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gnu/lib/libgmp/Makefile.in4
-rw-r--r--gnu/lib/libgmp/configure10
2 files changed, 7 insertions, 7 deletions
diff --git a/gnu/lib/libgmp/Makefile.in b/gnu/lib/libgmp/Makefile.in
index 26b8e741149..3726e08bcab 100644
--- a/gnu/lib/libgmp/Makefile.in
+++ b/gnu/lib/libgmp/Makefile.in
@@ -36,7 +36,7 @@ AR_FLAGS = rc
RANLIB_TEST = [ -f /usr/bin/ranlib -o -f /bin/ranlib ]
RANLIB = ranlib
SHELL = /bin/sh
-INSTALL = $(srcdir)/install.sh -c
+INSTALL = $(SHELL) $(srcdir)/install.sh -c
INSTALL_PROGRAM = $(INSTALL)
INSTALL_DATA = $(INSTALL)
MAKEINFO = makeinfo
@@ -157,7 +157,7 @@ install-info-files: installdirs $(srcdir)/gmp.info
# else true; fi
installdirs: $(srcdir)/mkinstalldirs
- $(srcdir)/mkinstalldirs $(includedir) $(libdir) $(infodir)
+ $(SHELL) $(srcdir)/mkinstalldirs $(includedir) $(libdir) $(infodir)
uninstall:
rm -f $(libdir)/libgmp.a
diff --git a/gnu/lib/libgmp/configure b/gnu/lib/libgmp/configure
index ad1c8395189..d33630e1fec 100644
--- a/gnu/lib/libgmp/configure
+++ b/gnu/lib/libgmp/configure
@@ -80,7 +80,7 @@ subdirs=
target_alias=NOTARGET
target_makefile_frag=
undefs=NOUNDEFS
-version="$Revision: 1.1 $"
+version="$Revision: 1.2 $"
x11=default
### we might need to use some other shell than /bin/sh for running subshells
@@ -340,7 +340,7 @@ case "${fatal}" in
# Neither --host option nor undefs were present.
# Call config.guess.
guesssys=`echo ${progname} | sed 's/configure$/config.guess/'`
- if host_alias=`${guesssys}`
+ if host_alias=`${config_shell} ${guesssys}`
then
# If the string we are going to use for
# the target is a prefix of the string
@@ -426,7 +426,7 @@ configsub=`echo ${progname} | sed 's/configure$/config.sub/'`
moveifchange=`echo ${progname} | sed 's/configure$/move-if-change/'`
# this is a hack. sun4 must always be a valid host alias or this will fail.
-if ${configsub} sun4 >/dev/null 2>&1 ; then
+if ${config_shell} ${configsub} sun4 >/dev/null 2>&1 ; then
true
else
echo '***' cannot find config.sub. 1>&2
@@ -434,7 +434,7 @@ else
fi
touch config.junk
-if ${moveifchange} config.junk config.trash ; then
+if ${config_shell} ${moveifchange} config.junk config.trash ; then
true
else
echo '***' cannot find move-if-change. 1>&2
@@ -1162,7 +1162,7 @@ ${progname}" ${arguments} "
if [ -r ${subdir}/config.back ] ; then
mv -f ${subdir}/config.back ${subdir}/config.status
fi
- ${moveifchange} ${subdir}/config.new ${subdir}/config.status
+ ${config_shell} ${moveifchange} ${subdir}/config.new ${subdir}/config.status
;;
*) rm -f ${Makefile} ${subdir}/config.status ${links} ;;