From: Stefano Zacchiroli Date: Wed, 16 Apr 2003 11:44:28 +0000 (+0000) Subject: added "restart" target X-Git-Tag: before_refactoring~20 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8d318ece445a50994eae74dece9ee2515cb3b996;p=helm.git added "restart" target --- 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