diff options
| author | Eli Schwartz <eschwartz@archlinux.org> | 2019-12-02 21:51:21 +0100 |
|---|---|---|
| committer | Levente Polyak <anthraxx@archlinux.org> | 2019-12-05 23:34:23 +0100 |
| commit | 8edad226166eb6f2888b87cf8e0a9952822c887a (patch) | |
| tree | 5ffb4bbc776d605404191ec60d8b1bf0e93ce04b | |
| parent | f20435643f55c37e3f8274a03e7fe5e052dc8dd9 (diff) | |
| download | devtools-8edad226166eb6f2888b87cf8e0a9952822c887a.tar.gz devtools-8edad226166eb6f2888b87cf8e0a9952822c887a.tar.xz | |
offload-build: return failure if no package files were found
This means that the remote command died at some stage earlier than the
printing of created files.
Signed-off-by: Eli Schwartz <eschwartz@archlinux.org>
| -rwxr-xr-x | offload-build | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/offload-build b/offload-build index dab036d..e607a16 100755 --- a/offload-build +++ b/offload-build @@ -116,4 +116,6 @@ if (( ${#files[@]} )); then printf '%s\n' '' '-> copying files...' load_makepkg_config scp "${files[@]/#/$server:}" "${PKGDEST:-${PWD}}/" +else + exit 1 fi |