changeset 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
files dist-files.mk src/mingw-of-sparsersb-1-no-render.patch
diffstat 2 files changed, 20 insertions(+), 0 deletions(-) [+]
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 \
--- /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();