equal
deleted
inserted
replaced
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # Author: Gerwin Klein, TU Muenchen |
4 # Author: Gerwin Klein, TU Muenchen |
5 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
6 # |
5 # |
7 # DESCRIPTION: Build distribution and run isatest-make for lots of platforms. |
6 # DESCRIPTION: Build distribution and run isatest-make for lots of platforms. |
8 |
7 |
9 # source bashrc, we're called by cron |
8 # source bashrc, we're called by cron |
10 . ~/.bashrc |
9 . ~/.bashrc |