shlist

commit 5859685c2fa44a3ff1e72c26202eb04e7087b86d
parent 99b02858a58943d1b535a16b3527f7c684274dbf
Author: kyle <kyle@getaddrinfo.net>
Date:   Sun,  6 Dec 2015 20:36:26 -0500

run_tests: don't use kill -INT on linux

- it doesn't work for some reason

Diffstat:
M
run_tests.sh
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/run_tests.sh b/run_tests.sh
@@ -35,13 +35,13 @@ for t in `ls tests/*/Makefile`; do
 	# run test, complain if it failed
 	if ! make -s -C $test_dir test; then
 		fail $test_dir "test failed"
-		kill -INT $server_pid
+		kill $server_pid
 		wait 2>/dev/null
 		continue
 	fi
 
 	# kill the server and wait for it to shut down
-	kill -INT $server_pid
+	kill $server_pid
 	wait 2>/dev/null
 
 	# diff the server's output log