From 02566aac1aa098412ea13817fb5e5c61c601c464 Mon Sep 17 00:00:00 2001 From: Kevin Mihelich Date: Tue, 21 Feb 2017 00:41:44 +0000 Subject: [PATCH] community/linux-tools: fix --- community/linux-tools/PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/community/linux-tools/PKGBUILD b/community/linux-tools/PKGBUILD index 2134bb851..c18544082 100644 --- a/community/linux-tools/PKGBUILD +++ b/community/linux-tools/PKGBUILD @@ -21,7 +21,7 @@ pkgrel=1 license=('GPL2') arch=('i686' 'x86_64') url='https://www.kernel.org' -options=('!strip') +options=('!strip' '!distcc') makedepends=('git') # split packages need all package dependencies set manually in makedepends # kernel source deps @@ -41,7 +41,7 @@ source=("https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-${pkgver}.tar.xz" 'cpupower.systemd' 'cpupower.service' 'usbipd.service') -md5sums=('0a68ef3615c64bd5ee54a3320e46667d' +md5sums=('b5e7f6b9b2fe1b6cc7bc56a3a0bfc090' '56883c159381ba89e50ab8ea65efec77' '34f5ecc19770a1abbcd0fd65bfd1f065' '86c4e419e4ba80835c330d49ba3f56ad'