dotty/compiler/: expected 72, but got 71.99 instead
SCALA_SCALA_LIBRARY_EXPECTED=100
SCALA_SCALA_COMPILER_EXPECTED=64
-DOTTY_COMPILER_EXPECTED=72
+DOTTY_COMPILER_EXPECTED=71
if [ ! -d "$SCALA_SCALA_DIR" ]; then
echo "\$SCALA_SCALA_DIR must be set"
