Unverified Commit 2d8647c5 authored by NicolaiO's avatar NicolaiO 🐼
Browse files

Only use gradle to run AutoRef

parent 70f6eb1e
#!/usr/bin/env bash
./gradlew build -x test
rm -rf autoReferee
unzip build/distributions/autoReferee.zip
......@@ -2,13 +2,4 @@
if [[ ! -d autoReferee ]]; then
./gradlew run --args="${ARGS}"
# if the font size is too small (e.g. on high resolution screens), you can add following arguments to the command below.
# 16 is the font size and can be adapted. You can also choose other font types.
# export AUTO_REFEREE_OPTS="-Dswing.plaf.metal.controlFont='sans-serif-16' -Dswing.plaf.metal.userFont='sans-serif-16'"
autoReferee/bin/autoReferee ${ARGS}
./gradlew run --args="${ARGS}"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment