]> mj.ucw.cz Git - eval.git/commitdiff
Bug fix.
authorMartin Mares <mj@ucw.cz>
Sun, 10 Jun 2007 15:25:07 +0000 (17:25 +0200)
committerMartin Mares <mj@ucw.cz>
Sun, 10 Jun 2007 15:25:07 +0000 (17:25 +0200)
bin/mo-create-public

index 27889f595c031dbeb95b409dc0b101cbd714c451..bac7237d3a25909f732a02ab07ccf2fc3f9666e9 100755 (executable)
@@ -7,7 +7,7 @@ set -e
 echo "Populating $MO_ROOT/public"
 H=`pwd`
 cd $MO_ROOT/public
-rm -rf bin submit
+rm -rf bin lib
 
 sed '/^\(TEST_USER\|MO_ROOT\)=/s/^/#/' <$H/config >config