| changeset 405 | 8ca816372e9d |
| parent 355 | e4d779587d3f |
| child 411 | 135ae45ae57f |
--- a/mk_jars Mon Nov 08 01:49:28 2021 +0000 +++ b/mk_jars Mon Nov 08 01:56:57 2021 +0000 @@ -1,7 +1,7 @@ #!/bin/bash set -e -subdirs=${1:-"pre_solution1 pre_solution2 pre_solution3 pre_solution4 main_solution1 main_solution2 main_solution3 main_solution4 main_solution5"} +subdirs=${1:-"core_solution1 core_solution2 core_solution3 main_solution1 main_solution2 main_solution3 main_solution4 main_solution5"} for sd in $subdirs; do cd $sd