rimosso mkdir di ftok_path

diff --git a/INSTALL.sh b/INSTALL.sh
index 817da8216896efabc45e0d7b2e6ca6337e405f30..2cb853ccc49d453054cea94f5e6fb0c18b197399 100755 (executable)
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -125,9 +125,6 @@ if [ "$web_only" = "FALSE" ]; then
     rm $ftok_path/spy.txt
     
     # create the fs subtree to enable ftok-ing
-    if [ ! -d ${ftok_path} ]; then
-        mkdir  ${ftok_path}
-    fi
     touch ${ftok_path}/main
     chmod 666 ${ftok_path}/main
     for i in `seq 1 100`; do