From 55e1b357929f082f7089ce34110d1bba5f560e8e Mon Sep 17 00:00:00 2001 From: Emily O'Leary Date: Fri, 13 Sep 2013 17:16:54 -0400 Subject: [PATCH] Added more killserver calls in Makefile (for error conditions) --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 9330a14..b1181cc 100644 --- a/Makefile +++ b/Makefile @@ -5,6 +5,7 @@ runtests: make-run ./scripts/killserver.sh gmgupdate: make-testbed + ./scripts/killserver.sh ./scripts/update_gmg.sh make-run: -- 2.1.4