X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2FMakefile;h=133d009f33633a5e35b1e2f52306a8eb49d631e0;hb=8d318ece445a50994eae74dece9ee2515cb3b996;hp=02b95f58b7318255c6d07e1c817c041732ed7bb0;hpb=84ce2dfd5b63c9821b6da62daa16b944014a6021;p=helm.git

diff --git a/helm/hbugs/Makefile b/helm/hbugs/Makefile
index 02b95f58b..133d009f3 100644
--- 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