diff options
Diffstat (limited to 'community/openocd')
| -rw-r--r-- | community/openocd/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/community/openocd/PKGBUILD b/community/openocd/PKGBUILD index 6c5f0846d..61a1d4383 100644 --- a/community/openocd/PKGBUILD +++ b/community/openocd/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 89932 2013-05-05 20:07:45Z bpiotrowski $ +# $Id: PKGBUILD 99938 2013-10-31 02:34:51Z allan $ # Maintainer: Bartłomiej Piotrowski <barthalion@gmail.com> # Contributor: Matthias Bauch <matthias.bauch@gmail.com> # Contributor: Laszlo Papp <djszapi2 at gmail com> @@ -12,7 +12,7 @@ arch=('i686' 'x86_64') url='http://openocd.berlios.de' license=('GPL') depends=('libftdi') -options=(!strip !libtool) +options=(!strip) install=openocd.install source=(http://downloads.sourceforge.net/sourceforge/$pkgname/$pkgname-$pkgver.tar.bz2) sha256sums=('52237b786530c8460b221556c26fa4779f668b7dcb83ff14b8c5eb2050f38e63') |