diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-27 20:31:44 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-27 20:31:44 +0200 |
| commit | 32a5f60bfe859e9d09013fd9809f183a393f676a (patch) | |
| tree | d6ca10b810e17280ba320a7f3b73513344b25257 | |
| parent | 75d67527edd8db9b8902bc2a02aec63b38392e16 (diff) | |
| download | builder-32a5f60bfe859e9d09013fd9809f183a393f676a.tar.xz | |
bin/copy-to-build-support: exit normally on no-matches
| -rwxr-xr-x | bin/copy-to-build-support | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/copy-to-build-support b/bin/copy-to-build-support index 8625d21..8388675 100755 --- a/bin/copy-to-build-support +++ b/bin/copy-to-build-support @@ -144,6 +144,14 @@ sed -n ' "${tmp_dir}/mysql-command" done +if [ ! -s "${tmp_dir}/repo-archs" ]; then + >&2 echo 'Nothing to do.' + if [ -w "$1" ]; then + printf '' > "$1" + fi + exit 0 +fi + sort -u "${tmp_dir}/repo-archs" | \ sponge "${tmp_dir}/repo-archs" |