diff options
author | Andrea Scarpino <andrea@archlinux.org> | 2010-10-11 09:54:16 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2010-10-17 12:57:57 +0200 |
commit | 32b55d1587a27616a582f6a10b842fdc11a017d4 (patch) | |
tree | 3c201140e1a75e8d28d192281ab83463ab4fc564 /makechrootpkg | |
parent | 6201853f522fa95b51ecea81ec095be73517eeb2 (diff) | |
download | devtools32-32b55d1587a27616a582f6a10b842fdc11a017d4.tar.xz |
install option (-I) does not require a directory containing a PKGBUILD
Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
Diffstat (limited to 'makechrootpkg')
-rwxr-xr-x | makechrootpkg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makechrootpkg b/makechrootpkg index 572a215..65db5c5 100755 --- a/makechrootpkg +++ b/makechrootpkg @@ -87,7 +87,7 @@ if [ "$EUID" != '0' ]; then exit 1 fi -if [ ! -f PKGBUILD ]; then +if [ ! -f PKGBUILD -a -z "$install_pkg" ]; then echo 'This must be run in a directory containing a PKGBUILD.' exit 1 fi |