comparison dist-files.mk @ 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
comparison
equal deleted inserted replaced
5577:7422b99c5550 5578:deca3045c118
518 of-queueing.mk \ 518 of-queueing.mk \
519 of-signal.mk \ 519 of-signal.mk \
520 of-sockets-1-cross-fixes.patch \ 520 of-sockets-1-cross-fixes.patch \
521 of-sockets-2-deprecated.patch \ 521 of-sockets-2-deprecated.patch \
522 of-sockets.mk \ 522 of-sockets.mk \
523 mingw-of-sparsersb-1-no-render.patch \
523 of-sparsersb.mk \ 524 of-sparsersb.mk \
524 of-specfun-1-deprecated.patch \ 525 of-specfun-1-deprecated.patch \
525 of-specfun.mk \ 526 of-specfun.mk \
526 of-splines.mk \ 527 of-splines.mk \
527 of-statistics-1-cross.patch \ 528 of-statistics-1-cross.patch \