| changeset 31582 | 4753c317d5c1 |
| parent 31581 | 907616b9536c |
| child 31583 | 02ab6fdd200c |
| 31581:907616b9536c | 31582:4753c317d5c1 |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
|
4 # Author: Gerwin Klein, TU Muenchen |
3 # Author: Gerwin Klein, TU Muenchen |
5 # |
4 # |
6 # DESCRIPTION: Build distribution and run isatest-make for lots of platforms. |
5 # DESCRIPTION: Build distribution and run isatest-make for lots of platforms. |
7 |
6 |
8 ## global settings |
7 ## global settings |