changeset 29143 | 72c960b2b83e |
parent 28650 | a7ba12e0d3b7 |
child 32325 | 300b7d5d23d7 |
29140:e7ac5bb20aed | 29143:72c960b2b83e |
---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
|
4 # Author: Markus Wenzel, TU Muenchen |
3 # Author: Markus Wenzel, TU Muenchen |
5 # |
4 # |
6 # DESCRIPTION: apply make utility to all logics |
5 # DESCRIPTION: apply make utility to all logics |
7 |
6 |
8 ## global settings |
7 ## global settings |