tools: some safety checks in openjdktest.sh
[mate.git] / tools /
drwxr-xr-x   ..
-rw-r--r-- 14 .gitignore
-rwxr-xr-x 567 installhaskellenv.sh
-rwxr-xr-x 1047 openjdktest.sh