From 35c4aec88db70e3ce450a0bf8e097ac215df20d1 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Tue, 2 Aug 2016 23:09:18 +0200
Subject: build: Add missing procps patch to the distribution.

The patch was added to gnu/local.mk in
d46123aade7bc5226004eb46ee1084dc84f2b30a and inadvertently removed in a
subsequent merge.

* gnu/local.mk (dist_patch_DATA): Add procps-non-linux.patch.
---
 gnu/local.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/local.mk b/gnu/local.mk
index c93afba63d..57fe230fe9 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -722,6 +722,7 @@ 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	\
-- 
cgit v1.2.3