mk_jars
changeset 408 95240953bf4c
parent 355 bc3980949af2
child 414 59eeb22c9229
equal deleted inserted replaced
407:81bdb364f98f 408:95240953bf4c
     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"