diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/snapshot | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/bin/snapshot b/bin/snapshot index 65a83d6..8dd8d1f 100755 --- a/bin/snapshot +++ b/bin/snapshot @@ -411,8 +411,13 @@ fi # Test the HDF5 library if [ -n "$DEPLOYDIRNAME" ]; then if [ "$snapshot" = "yes" ]; then TIMESTAMP "deploy" - if (cd ${TESTDIR} && ${CURRENT}/bin/deploy ${deploydir}/${DEPLOYDIRNAME}); then - : #continue + if (cd ${TESTDIR} && + ${CURRENT}/bin/deploy ${deploydir}/${DEPLOYDIRNAME} && \ + TIMESTAMP "clean" && \ + ${MAKE} clean && \ + TIMESTAMP "check-install prefix=${deploydir}/${DEPLOYDIRNAME}" && \ + ${MAKE} check-install prefix=${deploydir}/${DEPLOYDIRNAME}); then + : #continue else errcode=$? exit $errcode |