X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=bin%2Fmo-create-public;h=91c9c8e715deca1d252005ccd5b610daa40de851;hb=e42d87511230ff3bd287367a43564a95d0340079;hp=24766fd2cf295cdc04a4092681cf3ccd7641b63b;hpb=f0a0c5d9c205ae0b41e8a1feaecb74adf5155bef;p=eval.git diff --git a/bin/mo-create-public b/bin/mo-create-public index 24766fd..91c9c8e 100755 --- a/bin/mo-create-public +++ b/bin/mo-create-public @@ -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