diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-15 15:20:39 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-15 15:20:39 +0200 |
| commit | 5b49e70d5606f36667a55291d5345e95d42674fd (patch) | |
| tree | c4b7ea9958c2cc4a7300d318b5386e9b8db6d1b6 /bin/build-master-status | |
| parent | 2c4bd582619e6ab73d613b000128886232dbafc9 (diff) | |
| download | builder-5b49e70d5606f36667a55291d5345e95d42674fd.tar.xz | |
removed all bashisms - should work in any POSIX shell, now
Diffstat (limited to 'bin/build-master-status')
| -rwxr-xr-x | bin/build-master-status | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/build-master-status b/bin/build-master-status index ba1dba3..d6c761e 100755 --- a/bin/build-master-status +++ b/bin/build-master-status @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # report about status of build master |