From 2691662203ef5de20553e9e69a8c52e2bc0b763c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gabriel=20Falc=C3=A3o?= Date: Thu, 17 Sep 2009 08:57:28 -0300 Subject: [PATCH] fixing makefile --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index bad640e..9166e41 100644 --- a/Makefile +++ b/Makefile @@ -102,10 +102,10 @@ build: clean test run_server: kill_server @echo "Running builtin HTTP server ..." - @cd tests/functional/parrotserver && bob go 2>&1 #> log.txt & - @sleep5 + @cd tests/functional/parrotserver && bob go 2>&1 > log.txt & + @sleep 5 kill_server: @echo "Shutting down builtin HTTP server ..." - @-ps aux | egrep 'parrot_server' | egrep -v grep | awk '{ print $$2 }' | xargs kill -9 2>&1 /dev/null + @-ps aux | egrep 'bob go' | egrep -v grep | awk '{ print $$2 }' | xargs kill -9 2>&1 /dev/null @echo "Done."