diff -r 7550c816187a -r a4e1f63157d8 mk_jars --- a/mk_jars Sat Nov 04 18:53:37 2023 +0000 +++ b/mk_jars Mon Nov 06 14:18:26 2023 +0000 @@ -1,7 +1,7 @@ #!/bin/bash set -e -subdirs=${1:-"core_solution1 core_solution2 core_solution3 main_solution1 main_solution2 main_solution3 main_solution4 main_solution5"} +subdirs=${1:-"core_solution1 core_solution2 core_solution3 main_solution2 main_solution3 main_solution4 main_solution5"} for sd in $subdirs; do cd $sd