diff --git a/math/csdp/files/patch-lib_user__exit.c b/math/csdp/files/patch-lib_user__exit.c new file mode 100644 index 000000000000..a14307a121ae --- /dev/null +++ b/math/csdp/files/patch-lib_user__exit.c @@ -0,0 +1,10 @@ +--- lib/user_exit.c.orig 2026-06-21 09:49:29 UTC ++++ lib/user_exit.c +@@ -13,6 +13,7 @@ + #include + #include + #include ++#include + + int sigterm_signaled=0; +