diff options
| author | Ludovic Courtès | 2017-05-11 17:48:58 +0200 |
|---|---|---|
| committer | Ludovic Courtès | 2017-05-11 18:05:42 +0200 |
| commit | 62b28c0e7b4b20e22c24cd5ba09ce439b73dd236 (patch) | |
| tree | e7994dbe861d6f39c1fe9246b411f06cbd51c567 /gnu/local.mk | |
| parent | 77abe3f091b4eaa7e75ec338fefc9c70531b708f (diff) | |
gnu: Add PRoot.
* gnu/packages/linux.scm (proot): New variable.
* gnu/packages/patches/proot-test-fhs.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index e7c670793..5c48e1ba4 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -894,6 +894,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/proot-test-fhs.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 \ |