diff options
| author | Dave Love <fx@gnu.org> | 2017-11-07 17:57:47 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-07 18:09:13 +0100 |
| commit | fd23d259cd0c13cd670aea7190a00a531da4c90d (patch) | |
| tree | f4da0255275d125d00b1fab7ab9d12e4aa82a09a /gnu/local.mk | |
| parent | 63b7fbe1bb3ff2b8a97793f91a0a6d7de8977a75 (diff) | |
| download | patches-fd23d259cd0c13cd670aea7190a00a531da4c90d.tar patches-fd23d259cd0c13cd670aea7190a00a531da4c90d.tar.gz | |
gnu: Add PSM.
* gnu/packages/linux.scm (psm): New variable.
* gnu/packages/patches/psm-arch.patch,
gnu/packages/patches/psm-ldflags.patch,
gnu/packages/patches/psm-repro.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index dbfe6829e6..630d8187fc 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -967,6 +967,9 @@ dist_patch_DATA = \ %D%/packages/patches/procmail-ambiguous-getline-debian.patch \ %D%/packages/patches/procmail-CVE-2014-3618.patch \ %D%/packages/patches/proot-test-fhs.patch \ + %D%/packages/patches/psm-arch.patch \ + %D%/packages/patches/psm-ldflags.patch \ + %D%/packages/patches/psm-repro.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 \ |