From 4573ce44e1a4d31e203fa2f16e1a56fcba9198f2 Mon Sep 17 00:00:00 2001
From: James Robson <jaggededgedjustice@gmail.com>
Date: Thu, 4 Feb 2021 18:08:00 +0000
Subject: [PATCH] Kill make on timeout so it can't delete the running log

---
 .github/workflows/GNU.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/GNU.yml b/.github/workflows/GNU.yml
index ad100d8b1..0ca34db1d 100644
--- a/.github/workflows/GNU.yml
+++ b/.github/workflows/GNU.yml
@@ -76,7 +76,7 @@ jobs:
         GNULIB_DIR="${PWD}/gnulib"
         pushd gnu
         
-        unbuffer timeout 3600 make -j "$(nproc)" check SUBDIRS=. RUN_EXPENSIVE_TESTS=yes RUN_VERY_EXPENSIVE_TESTS=yes VERBOSE=no || :
+        unbuffer timeout -sKILL 3600 make -j "$(nproc)" check SUBDIRS=. RUN_EXPENSIVE_TESTS=yes RUN_VERY_EXPENSIVE_TESTS=yes VERBOSE=no || :
     - uses: actions/upload-artifact@v2
       with:
         name: test-report