summaryrefslogtreecommitdiffstats
path: root/hl/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'hl/Makefile.in')
-rwxr-xr-xhl/Makefile.in7
1 files changed, 6 insertions, 1 deletions
diff --git a/hl/Makefile.in b/hl/Makefile.in
index 85bde68..94c652d 100755
--- a/hl/Makefile.in
+++ b/hl/Makefile.in
@@ -181,7 +181,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@