diff options
-rw-r--r-- | gnu/lib/libgmp/Makefile.in | 4 | ||||
-rw-r--r-- | gnu/lib/libgmp/configure | 10 |
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} ;; |