commit 910763441db24a7db1d8dfec95e08d86990fc1c0
parent b658f324c247690e27784021f62037eeb63c264b
Author: Luuk van Baal <luukvbaal@gmail.com>
Date: Mon, 11 Jul 2022 15:15:56 +0200
Fix checkpatches duplicate make
Diffstat:
1 file changed, 0 insertions(+), 1 deletion(-)
diff --git 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"