]> mj.ucw.cz Git - moe.git/blobdiff - bin/mo-create-public
Perform proper merging of grouped testcases.
[moe.git] / bin / mo-create-public
index 24766fd2cf295cdc04a4092681cf3ccd7641b63b..91c9c8e715deca1d252005ccd5b610daa40de851 100755 (executable)
@@ -7,9 +7,9 @@ set -e
 echo "Populating $MO_ROOT/public"
 H=`pwd`
 cd $MO_ROOT/public
-rm -rf bin
+rm -rf bin lib
 
-sed 's/^TEST_USER=/#TEST_USER=/' <$H/config >config
+sed '/^\(TEST_USER\|MO_ROOT\)=/s/^/#/' <$H/config >config
 
 mkdir bin
 cp -a $H/public/[a-z]* bin/
@@ -17,6 +17,12 @@ for a in `cat $H/public/COPY` ; do
        cp -a $H/$a bin/
 done
 
+if [ -n "$REMOTE_SUBMIT" ] ; then
+       cp $H/submit/{contest,remote-submit,remote-status} bin/
+       mkdir lib
+       cp -a $H/submit/lib .
+fi
+
 mkdir -p problems
 
 if [ `id -u` == 0 ] ; then