Merge pull request #1423 from luukvbaal/patches

Fix checkpatches duplicate make
This commit is contained in:
Arun 2022-07-11 18:52:29 +05:30 committed by GitHub
commit 4a5bade051
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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"