diff options
Diffstat (limited to 'community/linux-tools/PKGBUILD')
| -rw-r--r-- | community/linux-tools/PKGBUILD | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/community/linux-tools/PKGBUILD b/community/linux-tools/PKGBUILD index a3846f9fb..c9169eea7 100644 --- a/community/linux-tools/PKGBUILD +++ b/community/linux-tools/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 96810 2013-09-05 18:48:50Z seblu $ +# $Id: PKGBUILD 98972 2013-10-21 20:21:28Z seblu $ # Maintainer: Sébastien Luttringer pkgbase=linux-tools @@ -9,7 +9,7 @@ pkgname=('linux-tools-meta' 'x86_energy_perf_policy' 'usbip') pkgver=3.11 -pkgrel=1 +pkgrel=2 license=('GPL2') arch=('i686' 'x86_64') url='http://www.kernel.org' @@ -151,7 +151,6 @@ package_x86_energy_perf_policy() { package_usbip() { pkgdesc='An USB device sharing system over IP network' depends=('glib2' 'sysfsutils') - options=('!libtool') pushd linux-$pkgver/drivers/staging/usbip/userspace make install DESTDIR="$pkgdir" |