diff dist-files.mk @ 6070:8d1aecf2d2d6

of-sparsersb: Don't force -std=gnu++11. We prefer a newer standard now. * src/of-sparsersb-2-no-cxx11.patch: Add new patch. * dist-files.mk: Include new patch.
author Markus Mützel <markus.muetzel@gmx.de>
date Wed, 26 Jan 2022 19:14:36 +0100
parents 0bf2a154ef3e
children c319371801a1
line wrap: on
line diff
--- a/dist-files.mk	Wed Jan 26 19:07:00 2022 +0100
+++ b/dist-files.mk	Wed Jan 26 19:14:36 2022 +0100
@@ -539,6 +539,7 @@
   of-signal.mk \
   of-sockets.mk \
   of-sparsersb-1-no-internal-mex-fcns.patch \
+  of-sparsersb-2-no-cxx11.patch \
   of-sparsersb.mk \
   of-specfun-1-deprecated.patch \
   of-specfun.mk \