From: Stefano Zacchiroli <zack@upsilon.cc>
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