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"