diff dist-files.mk @ 5238:60f56afa9506

Fix building of-sockets with default-octave. * src/of-sockets-2-deprecated.patch: Add patch to replace deprecated header. * dist-files.mk: Include new file.
author Markus Mützel <markus.muetzel@gmx.de>
date Sun, 15 Dec 2019 13:30:34 +0100
parents fc8236cf04d5
children aad0cc165a27
line wrap: on
line diff
--- a/dist-files.mk	Fri Dec 13 18:41:35 2019 +0100
+++ b/dist-files.mk	Sun Dec 15 13:30:34 2019 +0100
@@ -512,6 +512,7 @@
   of-queueing.mk \
   of-signal.mk \
   of-sockets-1-cross-fixes.patch \
+  of-sockets-2-deprecated.patch \
   of-sockets.mk \
   of-sparsersb-1-deprecated.patch \
   of-sparsersb.mk \