| changeset 355 | e4d779587d3f |
| parent 349 | ef4bb09a01b7 |
| child 405 | 8ca816372e9d |
| 354:77dd7f2e7b71 | 355:e4d779587d3f |
|---|---|
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 |