summaryrefslogtreecommitdiff
path: root/gnu/local.mk
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2016-08-14 11:03:50 +0300
committerEfraim Flashner <efraim@flashner.co.il>2016-08-15 10:42:27 +0300
commit74a3c4bb6cbbcd1ed8ac1fa862a8832731a6ac44 (patch)
tree898c444d946159ee3411967d1d9110443e1be3c1 /gnu/local.mk
parentda931eee6014a4eaa59c1c513e24fa5045b5e188 (diff)
gnu: procps: Update to 3.3.12.
* gnu/packages/linux.scm (procps): Update to 3.3.12. [source]: Remove patch. * gnu/packages/patches/procps-non-linux.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'gnu/local.mk')
-rw-r--r--gnu/local.mk1
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/local.mk b/gnu/local.mk
index d4a09ef1a6..314f40bad1 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -723,7 +723,6 @@ dist_patch_DATA = \
%D%/packages/patches/portmidi-modular-build.patch \
%D%/packages/patches/procmail-ambiguous-getline-debian.patch \
%D%/packages/patches/procmail-CVE-2014-3618.patch \
- %D%/packages/patches/procps-non-linux.patch \
%D%/packages/patches/pt-scotch-build-parallelism.patch \
%D%/packages/patches/pulseaudio-fix-mult-test.patch \
%D%/packages/patches/pulseaudio-longer-test-timeout.patch \