diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-20 09:35:46 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-20 09:35:46 +0200 |
| commit | 57a9c1790f07ccb6eb41db296c41847c3f6f700e (patch) | |
| tree | 5ae65bdcafa94b0e6113702ea9ff06994f0f9bb4 /bin/build-packages | |
| parent | ee25e86a65895a20eadc6559d2edbcd92641b15b (diff) | |
| download | builder-57a9c1790f07ccb6eb41db296c41847c3f6f700e.tar.xz | |
bin/build-packages: discard output of makepkg --verifysource
Diffstat (limited to 'bin/build-packages')
| -rwxr-xr-x | bin/build-packages | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages index 213a9c5..428a505 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -548,7 +548,7 @@ while [ "${count}" -ne 0 ] && \ success=true echo 'checking-source' > "${tmp_dir}/.ping-build-master" - if ! CARCH="${arch}" makepkg --verifysource; then + if ! CARCH="${arch}" makepkg --verifysource 2>/dev/null; then success=false fi |