diff dist-files.mk @ 6454:9b5b81c294f9 release

of-sparsersb: Cherry-pick patch from upstream (bug #61393). * src/of-sparsersb-2-tempdir.patch: Cherry-pick upstream patch to release tarball. * dist-files.mk: Add new file to dist.
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 15 Oct 2022 15:25:49 +0200
parents 86edd6018826
children 7cf5b482756d 2495875a88ce
line wrap: on
line diff
--- a/dist-files.mk	Sat Oct 15 14:46:51 2022 +0200
+++ b/dist-files.mk	Sat Oct 15 15:25:49 2022 +0200
@@ -540,6 +540,7 @@
   of-signal.mk \
   of-sockets.mk \
   of-sparsersb-1-no-internal-mex-fcns.patch \
+  of-sparsersb-2-tempdir.patch \
   of-sparsersb.mk \
   of-specfun-1-deprecated.patch \
   of-specfun.mk \