From 910763441db24a7db1d8dfec95e08d86990fc1c0 Mon Sep 17 00:00:00 2001 From: Luuk van Baal Date: Mon, 11 Jul 2022 15:15:56 +0200 Subject: [PATCH] Fix checkpatches duplicate make --- patches/check-patches.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/patches/check-patches.sh b/patches/check-patches.sh index 254af9fc..43459ed4 100755 --- a/patches/check-patches.sh +++ b/patches/check-patches.sh @@ -17,7 +17,6 @@ for ((n=1; n < z; ++n)); do printf "%s=%d " "${patches[$i]}" "$(( (n & (1 << i)) != 0 ))" done | tee "/dev/stderr" | ( make clean -s - xargs make 2>&1 if ! xargs make 2>&1; then echo "[FAILED]" >&2 kill -SIGUSR1 "$pid"