diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-05-20 04:58:06 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-05-20 05:02:26 +0200 |
| commit | 0f469c172e41345e2097df4239b96ee627402397 (patch) | |
| tree | 9f1be1a969f373677d831c5ac03057ce2331e096 /gnu/packages/xorg.scm | |
| parent | 3db907f000ee17ce8bb55c200c59f7cc8e8eceb8 (diff) | |
| download | patches-0f469c172e41345e2097df4239b96ee627402397.tar patches-0f469c172e41345e2097df4239b96ee627402397.tar.gz | |
gnu: xf86-video-voodoo: Ship patch locally.
The ORIGIN patch has been modified in place, probably *wild guessing
sounds* by a server-side cgit update.
* gnu/packages/xorg.scm (xf86-video-voodoo)[source]: Use SEARCH-PATCHES.
* gnu/packages/patches/xf86-video-voodoo-pcitag.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Diffstat (limited to 'gnu/packages/xorg.scm')
| -rw-r--r-- | gnu/packages/xorg.scm | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/gnu/packages/xorg.scm b/gnu/packages/xorg.scm index 5d8b3498e6..68f72bea98 100644 --- a/gnu/packages/xorg.scm +++ b/gnu/packages/xorg.scm @@ -3488,14 +3488,7 @@ X server.") (base32 "1s6p7yxmi12q4y05va53rljwyzd6ry492r1pgi7wwq6cznivhgly")) (patches - (list (origin - (method url-fetch) - (uri "https://cgit.freedesktop.org/xorg/driver/\ -xf86-video-voodoo/patch/?id=9172ae566a0e85313fc80ab62b4455393eefe593") - (sha256 - (base32 - "0rndmxf5b8j3hjnhrwrnzsq5024fli134fj1mprhkcrvax2zq8db")) - (file-name "xf86-video-voodoo-pcitag.patch")))))) + (search-patches "xf86-video-voodoo-pcitag.patch")))) (build-system gnu-build-system) (inputs `(("xorgproto" ,xorgproto) ("xorg-server" ,xorg-server))) |