| changeset 355 | bc3980949af2 |
| parent 349 | 682611a0fb89 |
| child 408 | 95240953bf4c |
| 354:4b347b6e134f | 355:bc3980949af2 |
|---|---|
1 #!/bin/sh |
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:-"pre_solution1 pre_solution2 pre_solution3 pre_solution4 main_solution1 main_solution2 main_solution3 main_solution4 main_solution5"} |
5 |
5 |
6 for sd in $subdirs; do |
6 for sd in $subdirs; do |