sci-mathematics/why3-for-spark/files/why3-for-spark-2021-sighandler.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

--- a/src/server/cpulimit-unix.c	2025-04-12 09:08:31.099116998 +0200
+++ b/src/server/cpulimit-unix.c	2025-04-12 09:11:45.097592212 +0200
@@ -42,10 +42,11 @@
   }
 }
 
-void wallclock_timelimit_reached() {
+void wallclock_timelimit_reached(int signum) {
   fprintf(stderr,
           "Why3cpulimit: wallclock timelimit %d reached, killing command\n",
           wallclock_timelimit);
+  (void)signum;
 }