summaryrefslogtreecommitdiffstats
path: root/doc/html/Tutor/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'doc/html/Tutor/Makefile.in')
-rw-r--r--doc/html/Tutor/Makefile.in7
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/html/Tutor/Makefile.in b/doc/html/Tutor/Makefile.in
index 312839e..01aea64 100644
--- a/doc/html/Tutor/Makefile.in
+++ b/doc/html/Tutor/Makefile.in
@@ -188,7 +188,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@