diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2013-12-08 02:21:30 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2013-12-08 02:21:30 +0100 |
| commit | 82ba47688bc5364cc822c6b3b8a5addd0fc5b1e8 (patch) | |
| tree | 396730c424e3c6c87796022011652aa1db2af192 /bin/gitrevno | |
| parent | 43c43a552bdeab3181ab356425c429d6885d87e4 (diff) | |
| download | buildscripts-82ba47688bc5364cc822c6b3b8a5addd0fc5b1e8.tar.gz buildscripts-82ba47688bc5364cc822c6b3b8a5addd0fc5b1e8.tar.bz2 buildscripts-82ba47688bc5364cc822c6b3b8a5addd0fc5b1e8.zip | |
output build.log also on build failures, remove tmp dir if build fails
Diffstat (limited to 'bin/gitrevno')
0 files changed, 0 insertions, 0 deletions