diff options
author | Sébastien Luttringer <seblu@seblu.net> | 2013-01-02 01:42:45 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-01-20 10:21:39 +0100 |
commit | cb3a6ce1e8a146d32f52013fd568fb99692d95f6 (patch) | |
tree | 296a0ba5b236e4366dacdd28a150fdc289fba053 | |
parent | fb71ad1e7fe24edcc142b8643f311c28073c5c03 (diff) | |
download | devtools-cb3a6ce1e8a146d32f52013fd568fb99692d95f6.tar.gz devtools-cb3a6ce1e8a146d32f52013fd568fb99692d95f6.tar.xz |
-I ends early if there is nothing to build
This allow to build in one shot a package depending of a missing package
Signed-off-by: Sébastien Luttringer <seblu@seblu.net>
Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
-rw-r--r-- | makechrootpkg.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/makechrootpkg.in b/makechrootpkg.in index 762ad7b..fb91100 100644 --- a/makechrootpkg.in +++ b/makechrootpkg.in @@ -161,8 +161,8 @@ if [[ -n $install_pkg ]]; then rm "$copydir/$pkgname" - # Exit early, we've done all we need to - exit $ret + # If there is no PKGBUILD we have done + [[ -f PKGBUILD ]] || exit $ret fi $update_first && mkarchroot -u "$copydir" |