Remove build directories

diff --git a/config_files/hdf5.sh b/config_files/hdf5.sh
index 14895a9c518fe37cffe581b9fe6f4b779720a884..166828062778d6d1f93c7cebd8d30f1ff8888ce0 100755 (executable)
--- a/config_files/hdf5.sh
+++ b/config_files/hdf5.sh
@@ -134,6 +134,7 @@ fi
 # remove sources and temporary files after building
 if [ ${REMOVE_SRC_TMP} = "TRUE" ] ; then
     test -d ${PRODUCT_SRC_DIR} && rm -fr ${PRODUCT_SRC_DIR}
+    test -d ${PRODUCT_BUILD_DIR} && rm -fr ${PRODUCT_BUILD_DIR}
 fi
 
 # to generate environment scripts

diff --git a/config_files/med.sh b/config_files/med.sh
index 3af78246148f19cb4615cb66b58fef009c9e7982..c05fd9bd479de672076687fc86e4823c5e8685e6 100755 (executable)
--- a/config_files/med.sh
+++ b/config_files/med.sh
@@ -126,6 +126,7 @@ fi
 # remove sources and temporary files after building
 if [ ${REMOVE_SRC_TMP} = "TRUE" ] ; then
     test -d ${PRODUCT_SRC_DIR} && rm -fr ${PRODUCT_SRC_DIR}
+    test -d ${PRODUCT_BUILD_DIR} && rm -fr ${PRODUCT_BUILD_DIR}
 fi
 
 # to generate environment scripts