From 8d318ece445a50994eae74dece9ee2515cb3b996 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 16 Apr 2003 11:44:28 +0000
Subject: [PATCH] added "restart" target

---
 helm/hbugs/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.39.2