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/
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