From 829d9c126ef80c9113118d1227a351785d70b6a5 Mon Sep 17 00:00:00 2001 From: Jan Janssen Date: Fri, 7 Jul 2023 09:08:45 -0600 Subject: [PATCH] Delete signal.patch --- recipe/signal.patch | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 recipe/signal.patch diff --git a/recipe/signal.patch b/recipe/signal.patch deleted file mode 100644 index 980cb95..0000000 --- a/recipe/signal.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --git a/src/cmd/flux-job.c b/src/cmd/flux-job.c -index 6fe161801..f4ee5c70e 100644 ---- a/src/cmd/flux-job.c -+++ b/src/cmd/flux-job.c -@@ -28,6 +28,7 @@ - #include - #include - #include -+#include - #include - #include - #include