mk_jars
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