diff --git a/build_gui.sh b/build_gui.sh index 374f7d8..1886bcf 100755 --- a/build_gui.sh +++ b/build_gui.sh @@ -1,6 +1,9 @@ #!/bin/bash set -eux +echo "Java version:" +java -version + # Install parent-pom cd jmcs/parent-pom # see README.md