Fix small bug (rm unexisting folder)

diff --git a/config_files/KERNEL_BIN.sh b/config_files/KERNEL_BIN.sh
index 5c0042633b29d3da3873fd38de48d8e196cdf1e2..1342d292f74a8940a68e5e36099437e3cefcb2cd 100755 (executable)
--- a/config_files/KERNEL_BIN.sh
+++ b/config_files/KERNEL_BIN.sh
@@ -92,7 +92,7 @@ if [ -d ${PRODUCT_DIR} ] ; then
     version=`cat bin/salome/VERSION | awk -F: '{print $2}' | tr -d '[:space:]'`
     dir="${HOME}/salome_appli_$version"
     bin/salome/createAppli.sh $dir
-    rm -rf mkdir $dir/env.d/*.sh
+    rm -rf $dir/env.d/*.sh
     cp -f ${PRODUCT_DIR}/salome.sh $dir/env.d
 fi
 }