# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1604168031 -3600
# Node ID deca3045c118997e0a4914b6ee3f19a5e0033665
# Parent  7422b99c555054860ea8e76f116d80789b618c78
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.

diff -r 7422b99c5550 -r deca3045c118 dist-files.mk
--- 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 \
diff -r 7422b99c5550 -r deca3045c118 src/mingw-of-sparsersb-1-no-render.patch
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/mingw-of-sparsersb-1-no-render.patch	Sat Oct 31 19:13:51 2020 +0100
@@ -0,0 +1,19 @@
+# HG changeset patch
+# User Markus Mützel <markus.muetzel@gmx.de>
+# Date 1604060822 -3600
+#      Fri Oct 30 13:27:02 2020 +0100
+# Node ID 2465e05138acf1e722d770a543438dbdb7448a7e
+# Parent  467a580199cabb5a3c2256119f57ead777dc583b
+Temporarily de-activate option "render" for Windows (bug #58957).
+
+diff -r 467a580199ca -r 2465e05138ac src/sparsersb.cc
+--- a/src/sparsersb.cc	Tue Aug 11 16:54:28 2020 +0200
++++ b/src/sparsersb.cc	Fri Oct 30 13:27:02 2020 +0100
+@@ -2906,6 +2906,7 @@
+  		&& args(1).is_string() && args(1).string_value().substr(0,6)=="render"
+ 		&& args(2).is_string())
+ 	{
++		error("sparsersb: option \"render\" is temporarily de-activated for this build.");
+ 		// sparsersb (S,"render", FILENAME[, RWIDTH, RHEIGHT])
+ 		rsb_err_t errval = RSB_ERR_NO_ERROR;
+ 		std::string rmf = args(2).string_value();