added "restart" target

diff --git a/helm/hbugs/Makefile b/helm/hbugs/Makefile
index 02b95f58b7318255c6d07e1c817c041732ed7bb0..133d009f33633a5e35b1e2f52306a8eb49d631e0 100644 (file)
--- a/helm/hbugs/Makefile
+++ b/helm/hbugs/Makefile
@@ -26,4 +26,5 @@ start:
 stop:
        $(MAKE) -C tutors/ stop
        $(MAKE) -C broker/ stop
-.PHONY: all byte opt world clean meta start stop
+restart: stop start
+.PHONY: all byte opt world clean meta restart start stop