mk_jars
changeset 405 8ca816372e9d
parent 355 e4d779587d3f
child 411 135ae45ae57f
equal deleted inserted replaced
404:5ff7ffa929cc 405:8ca816372e9d
     1 #!/bin/bash
     1 #!/bin/bash
     2 set -e
     2 set -e
     3 
     3 
     4 subdirs=${1:-"pre_solution1 pre_solution2 pre_solution3 pre_solution4 main_solution1 main_solution2 main_solution3 main_solution4 main_solution5"} 
     4 subdirs=${1:-"core_solution1 core_solution2 core_solution3 main_solution1 main_solution2 main_solution3 main_solution4 main_solution5"} 
     5 
     5 
     6 for sd in $subdirs; do
     6 for sd in $subdirs; do
     7   cd $sd
     7   cd $sd
     8   for fl in *.scala; do
     8   for fl in *.scala; do
     9       echo "$sd/$fl"
     9       echo "$sd/$fl"