diff options
author | Rich Trott <rtrott@gmail.com> | 2018-04-20 22:45:31 -0700 |
---|---|---|
committer | Rich Trott <rtrott@gmail.com> | 2018-04-24 11:47:03 -0700 |
commit | 7424d865236541226c0943866ad7e94c5191a763 (patch) | |
tree | 9ade9ada2fa18358020de051ce66c406dbf6ecc9 /Makefile | |
parent | 6946812191862bfbcb12ab971694b5e2d76fee23 (diff) | |
download | node-new-7424d865236541226c0943866ad7e94c5191a763.tar.gz |
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>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |