aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRich Trott <rtrott@gmail.com>2018-04-20 22:45:31 -0700
committerRich Trott <rtrott@gmail.com>2018-04-24 11:47:03 -0700
commit7424d865236541226c0943866ad7e94c5191a763 (patch)
tree9ade9ada2fa18358020de051ce66c406dbf6ecc9
parent6946812191862bfbcb12ab971694b5e2d76fee23 (diff)
downloadandroid-node-v8-7424d865236541226c0943866ad7e94c5191a763.tar.gz
android-node-v8-7424d865236541226c0943866ad7e94c5191a763.tar.bz2
android-node-v8-7424d865236541226c0943866ad7e94c5191a763.zip
build: use -9 with `kill` in Makefile
Fixes: https://github.com/nodejs/node/issues/20194 PR-URL: https://github.com/nodejs/node/pull/20195 Reviewed-By: Tiancheng "Timothy" Gu <timothygu99@gmail.com> Reviewed-By: Luigi Pinca <luigipinca@gmail.com> Reviewed-By: Anna Henningsen <anna@addaleax.net> Reviewed-By: Colin Ihrig <cjihrig@gmail.com> Reviewed-By: Ruben Bridgewater <ruben@bridgewater.de>
-rw-r--r--Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index f499788d9d..6736d60168 100644
--- a/Makefile
+++ b/Makefile
@@ -393,7 +393,7 @@ clear-stalled:
ps awwx | grep Release/node | grep -v grep | cat
@PS_OUT=`ps awwx | grep Release/node | grep -v grep | awk '{print $$1}'`; \
if [ "$${PS_OUT}" ]; then \
- echo $${PS_OUT} | xargs kill; \
+ echo $${PS_OUT} | xargs kill -9; \
fi
.PHONY: test-gc
@@ -439,7 +439,7 @@ test-ci-js: | clear-stalled
ps awwx | grep Release/node | grep -v grep | cat
@PS_OUT=`ps awwx | grep Release/node | grep -v grep | awk '{print $$1}'`; \
if [ "$${PS_OUT}" ]; then \
- echo $${PS_OUT} | xargs kill; exit 1; \
+ echo $${PS_OUT} | xargs kill -9; exit 1; \
fi
.PHONY: test-ci
@@ -454,7 +454,7 @@ test-ci: | clear-stalled build-addons build-addons-napi doc-only
ps awwx | grep Release/node | grep -v grep | cat
@PS_OUT=`ps awwx | grep Release/node | grep -v grep | awk '{print $$1}'`; \
if [ "$${PS_OUT}" ]; then \
- echo $${PS_OUT} | xargs kill; exit 1; \
+ echo $${PS_OUT} | xargs kill -9; exit 1; \
fi
.PHONY: build-ci