diff options
| author | Albert Cheng <acheng@hdfgroup.org> | 1999-12-03 22:42:55 (GMT) |
|---|---|---|
| committer | Albert Cheng <acheng@hdfgroup.org> | 1999-12-03 22:42:55 (GMT) |
| commit | ac4430b2604ba5948b1460b294a423d1ad544215 (patch) | |
| tree | 7ed29cde5a08d0f7c77531fd94a584d426c2f053 | |
| parent | 015079ab2044aedc8372477400d9f971df977151 (diff) | |
| download | hdf5-ac4430b2604ba5948b1460b294a423d1ad544215.zip hdf5-ac4430b2604ba5948b1460b294a423d1ad544215.tar.gz hdf5-ac4430b2604ba5948b1460b294a423d1ad544215.tar.bz2 | |
[svn-r1855] Use the user MAKE if that has been set.
| -rwxr-xr-x | bin/snapshot | 9 |
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. |