#!/bin/bash [ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; } set -e . config [ -n "$REMOTE_SUBMIT" ] || { echo "Remote submit not enabled." ; exit 1 ; } make echo "Creating submit directory" H=`pwd` cd $MO_ROOT/eval/submit mkdir -p certs cp $H/certs/server* certs/ cp $H/certs/ca-cert.pem certs/ rm -rf submit mkdir -p submit cp $H/submit/{submitd,config,show-submits} submit/ mkdir -p solutions for a in `cd $H && bin/mo-get-users` ; do mkdir -p solutions/$a done rm -rf lib cp -a $H/submit/lib lib rm -rf tmp mkdir -p tmp mkdir -p log history chown -R $REMOTE_SUBMIT_USER.$REMOTE_SUBMIT_GROUP $MO_ROOT/eval/submit