summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlbert Cheng <acheng@hdfgroup.org>1999-12-03 22:42:55 (GMT)
committerAlbert Cheng <acheng@hdfgroup.org>1999-12-03 22:42:55 (GMT)
commitac4430b2604ba5948b1460b294a423d1ad544215 (patch)
tree7ed29cde5a08d0f7c77531fd94a584d426c2f053
parent015079ab2044aedc8372477400d9f971df977151 (diff)
downloadhdf5-ac4430b2604ba5948b1460b294a423d1ad544215.zip
hdf5-ac4430b2604ba5948b1460b294a423d1ad544215.tar.gz
hdf5-ac4430b2604ba5948b1460b294a423d1ad544215.tar.bz2
[svn-r1855] Use the user MAKE if that has been set.
-rwxr-xr-xbin/snapshot9
1 files changed, 6 insertions, 3 deletions
diff --git a/bin/snapshot b/bin/snapshot
index dbc6efa..8aaac84 100755
--- a/bin/snapshot
+++ b/bin/snapshot
@@ -26,6 +26,9 @@ HDF4LIB=$HDF4LIB_default
# What compression methods to use?
METHODS="gzip bzip2"
+# Use User's MAKE if set. Else use generic make.
+MAKE=${MAKE:-make}
+
# Make sure cvs would work
if [ -z "$CVSROOT" ]; then
echo "Where is the CVS repository?" 1>&2
@@ -136,7 +139,7 @@ fi # Do CVS checkout
if [ "$cmd" = "all" -o -n "$cmdtest" ]; then
# Make sure current version exists and is clean
if [ -d ${COMPARE}/current ]; then
- (cd ${COMPARE}/current && make distclean)
+ (cd ${COMPARE}/current && ${MAKE} distclean)
else
errcode=$?
snapshot=no
@@ -162,7 +165,7 @@ if [ "$cmd" = "all" -o -n "$cmdtest" ]; then
if [ "$snapshot" = "yes" ]; then
if (cd ${COMPARE}/current; \
${CONFIGURE}; \
- make check); then
+ ${MAKE} check); then
:
else
errcode=$?
@@ -178,7 +181,7 @@ fi # Test the HDF5 library
#=============================
if [ "$cmd" = "all" -o -n "$cmdrel" ]; then
if [ "$snapshot" = "yes" ]; then
- (cd ${COMPARE}/current; make distclean)
+ (cd ${COMPARE}/current; ${MAKE} distclean)
(
# Turn on exit on error in the sub-shell so that it does not
# cvs commit if errors encounter here.