diff dist-files.mk @ 5578:deca3045c118

of-sparsersb: Temporarily de-activate option "render" for Windows (bug #58957). * src/mingw-of-sparsersb-1-no-render.patch: Add new patch. * dist-files.mk: Add new file to list.
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 31 Oct 2020 19:13:51 +0100
parents 7422b99c5550
children 2734b3818171
line wrap: on
line diff
--- a/dist-files.mk	Sat Oct 31 17:41:31 2020 +0100
+++ b/dist-files.mk	Sat Oct 31 19:13:51 2020 +0100
@@ -520,6 +520,7 @@
   of-sockets-1-cross-fixes.patch \
   of-sockets-2-deprecated.patch \
   of-sockets.mk \
+  mingw-of-sparsersb-1-no-render.patch \
   of-sparsersb.mk \
   of-specfun-1-deprecated.patch \
   of-specfun.mk \