diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-15 19:39:41 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-15 19:39:41 +0200 |
| commit | 4369821e44eab3833f3cade0917acf2c444968de (patch) | |
| tree | c4ee3a9954d67b27b8891abac146015b31ed7a0c | |
| parent | d1100aebc3513a6e3044944afcca7b4e567378c2 (diff) | |
| download | builder-4369821e44eab3833f3cade0917acf2c444968de.tar.xz | |
bin/prioritize-build-list: test for "-f" instead of "! -p" of status output device
| -rwxr-xr-x | bin/prioritize-build-list | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/prioritize-build-list b/bin/prioritize-build-list index 8dd3f23..ae9fe67 100755 --- a/bin/prioritize-build-list +++ b/bin/prioritize-build-list @@ -153,7 +153,7 @@ if ${dependencies}; then fi if [ -w "$1" ] && \ - [ ! -p "$1" ]; then + [ -f "$1" ]; then printf '%s\n' "${updated_rows}" >"$1" else printf '%s\n' "${updated_rows}" >&2 |