diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2013-01-22 20:12:36 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-01-22 20:12:36 +0100 |
commit | 10eba28151b1bf3ca5c29ccfb524f0cb85958c1d (patch) | |
tree | 809ee78567ce3dd36f707ec5bb86a6ebb6950d56 | |
parent | 9cef7e0a9ef7b2431028a441f5a23d41447931ec (diff) | |
download | devtools-20130122.tar.gz devtools-20130122.tar.xz |
archbuild: fix default build flags20130122
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | archbuild.in | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,4 +1,4 @@ -V=20130120 +V=20130122 PREFIX = /usr/local diff --git a/archbuild.in b/archbuild.in index 44288df..4054de7 100644 --- a/archbuild.in +++ b/archbuild.in @@ -38,7 +38,7 @@ while getopts 'hcr:' arg; do done # Pass all arguments after -- right to makepkg -makechrootpkg_args=("${@:$OPTIND}") +makechrootpkg_args+=("${@:$OPTIND}") if (( EUID )); then die 'This script must be run as root.' |