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: sends email for failed tests, checks for error.log, |
6 # DESCRIPTION: sends email for failed tests, checks for error.log, |
8 # generates development snapshot if test ok |
7 # generates development snapshot if test ok |
9 |
8 |
10 # source bashrc, we're called by cron |
9 # source bashrc, we're called by cron |