diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2024-11-20 22:03:17 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-11-20 22:03:17 +0000 |
| commit | 7e93b7ed5a9adfd9bd98ec4b425da05704995b48 (patch) | |
| tree | d0dfd8c75401746a52de82bea986eb8eae740e46 /sci-mathematics/why3/files/why3-1.7.2-signum.patch | |
| parent | 2024-11-20 21:48:25 UTC (diff) | |
| parent | sci-mathematics/why3: Fix sa_handler signature (diff) | |
| download | gentoo-7e93b7ed5a9adfd9bd98ec4b425da05704995b48.tar.gz gentoo-7e93b7ed5a9adfd9bd98ec4b425da05704995b48.tar.bz2 gentoo-7e93b7ed5a9adfd9bd98ec4b425da05704995b48.zip | |
Merge updates from master
Diffstat (limited to 'sci-mathematics/why3/files/why3-1.7.2-signum.patch')
| -rw-r--r-- | sci-mathematics/why3/files/why3-1.7.2-signum.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sci-mathematics/why3/files/why3-1.7.2-signum.patch b/sci-mathematics/why3/files/why3-1.7.2-signum.patch new file mode 100644 index 000000000000..97c014df8b91 --- /dev/null +++ b/sci-mathematics/why3/files/why3-1.7.2-signum.patch @@ -0,0 +1,11 @@ +--- a/src/server/cpulimit-unix.c 2024-11-20 22:37:00.519645455 +0100 ++++ b/src/server/cpulimit-unix.c 2024-11-20 22:39:55.096447774 +0100 +@@ -42,7 +42,7 @@ + } + } + +-void wallclock_timelimit_reached() { ++void wallclock_timelimit_reached(__attribute__((unused)) int signum) { + fprintf(stderr, + "Why3cpulimit: wallclock timelimit %d reached, killing command\n", + wallclock_timelimit); |