| changeset 26 | cee1b738fa67 |
| parent 25 | ee88a1d1f2c6 |
| child 33 | 34d32a2d3d84 |
| 25:ee88a1d1f2c6 | 26:cee1b738fa67 |
|---|---|
1 #!/bin/bash |
1 #!/bin/bash |
2 |
2 |
3 export LC_ALL=C |
3 export LC_ALL=C |
4 |
4 |
5 if test "$@"; then |
5 if test -n "$1"; then |
6 platforms="$1" |
6 platforms="$1" |
7 shift |
7 shift |
8 else |
8 else |
9 platforms=$(find platforms -mindepth 1 -maxdepth 1 -type d) |
9 platforms=$(find platforms -mindepth 1 -maxdepth 1 -type d) |
10 fi |
10 fi |