Fix a bug in the script: remove build directory

diff --git a/config_files/ParaView.sh b/config_files/ParaView.sh
index 44b5ee080cb3edb0209cd0ac5874c7c35dc5b43c..d98655ff622355a2c1b8c9dd1d24146497d746ef 100755 (executable)
--- a/config_files/ParaView.sh
+++ b/config_files/ParaView.sh
@@ -302,6 +302,7 @@ cd ${PRODUCT_DIR}
 # 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