@ -5,7 +5,7 @@
SCALA_SCALA_LIBRARY_EXPECTED=100
SCALA_SCALA_COMPILER_EXPECTED=84
DOTTY_COMPILER_EXPECTED=71
SYNTAX_COMPLEXITY_CEILING=3000
SYNTAX_COMPLEXITY_CEILING=2300
if [ ! -d "$SCALA_SCALA_DIR" ]; then
echo "\$SCALA_SCALA_DIR must be set"