summaryrefslogtreecommitdiffstats
path: root/tools/h5diff/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'tools/h5diff/Makefile.in')
-rw-r--r--tools/h5diff/Makefile.in7
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/h5diff/Makefile.in b/tools/h5diff/Makefile.in
index 206822f..8147961 100644
--- a/tools/h5diff/Makefile.in
+++ b/tools/h5diff/Makefile.in
@@ -217,7 +217,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@