diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-07 10:06:28 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-07 10:06:28 +0200 |
| commit | 8642b91eacc99b4ee7894d5dcf7203290bc56dea (patch) | |
| tree | 67f78dfb0c9a3bdc01cf1994995aa4905502ffcc /bin | |
| parent | 1606ed8bef2e8976c2b847678e8a77af99541383 (diff) | |
| download | builder-8642b91eacc99b4ee7894d5dcf7203290bc56dea.tar.xz | |
bin/copy-to-build-support: check if package list can be read.
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/copy-to-build-support | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/copy-to-build-support b/bin/copy-to-build-support index addd45c..016d4c0 100755 --- a/bin/copy-to-build-support +++ b/bin/copy-to-build-support @@ -59,6 +59,11 @@ if [ "$#" -ne 1 ]; then usage fi +if [ ! -r "$1" ]; then + >&2 printf 'Package-list "%s" is not readable.\n' "$1" + usage +fi + exec 9> "${sanity_check_lock_file}" verbose_flock -s ${wait_for_lock} 9 |