judges

zerocracy · May 21, 2024 · 02abf12 · 02abf12
1 parent 86f3030
commit 02abf12
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/entry.sh b/entry.sh
@@ -24,6 +24,10 @@
 set -e
 set -o pipefail
 
+if [ -z "${JUDGES}" ]; then
+    JUDGES=judges
+fi
+
 SAXON=/usr/local/Saxon.jar
 if [ ! -e "${SAXON}" ]; then
     echo "There is not Saxon JAR at this path: ${SAXON}."