summaryrefslogtreecommitdiffstats
path: root/tools/misc/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'tools/misc/Makefile.in')
-rw-r--r--tools/misc/Makefile.in7
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/misc/Makefile.in b/tools/misc/Makefile.in
index 77e79d9..23016ab 100644
--- a/tools/misc/Makefile.in
+++ b/tools/misc/Makefile.in
@@ -215,7 +215,12 @@ R_LARGE = @R_LARGE@
SEARCH = @SEARCH@
SETX = @SETX@
SET_MAKE = @SET_MAKE@
-SHELL = @SHELL@
+
+# Hardcode SHELL to be /bin/sh. Most machines have this shell, and
+# on at least one machine configure fails to detect its existence (janus).
+# Also, when HDF5 is configured on one machine but run on another,
+# configure's automatic SHELL detection may not work on the build machine.
+SHELL = /bin/sh
SIZE_T = @SIZE_T@
SRB = @SRB@
STATIC_SHARED = @STATIC_SHARED@