Fix checkpatches duplicate make

This commit is contained in:
Luuk van Baal 2022-07-11 15:15:56 +02:00
parent a3cef1611d
commit ae051d2bf3
No known key found for this signature in database
GPG Key ID: E7D1BC845D39FA83
1 changed files with 0 additions and 1 deletions

View File

@ -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"