diff options
Diffstat (limited to 'HDF5.sh')
-rw-r--r-- | HDF5.sh | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -117,11 +117,11 @@ if [ -z "${HDF5_DIR}" -o "${HDF5_DIR}" = 'BUILD' ]; then echo "HDF5: Installing..." ${MAKE} install - -# echo "HDF5: Cleaning up..." -# ${MAKE} clean popd + echo "HDF5: Cleaning up..." + rm -rf ${BUILD_DIR} + date > ${DONE_FILE} echo "HDF5: Done." fi |