From: Matteo Nastasi (mop) <nastasi@alternativeoutput.it>
Date: Sat, 16 Feb 2008 13:14:04 +0000 (+0000)
Subject: rimosso mkdir di ftok_path
X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=commitdiff_plain;h=0dc6d9d7138c66a5bdf54c793130a840c1da8fe3;p=brisk.git

rimosso mkdir di ftok_path
---

diff --git a/INSTALL.sh b/INSTALL.sh
index 817da82..2cb853c 100755
--- 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