From e018053f14beb09ac7f634687c48ac2a214208f2 Mon Sep 17 00:00:00 2001
From: Giuseppe Lettieri <g.lettieri@iet.unipi.it>
Date: Wed, 24 Apr 2013 10:29:23 +0200
Subject: [PATCH] fix fake shutdown of external nodes

---
 planetlab/exp-tool/Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/planetlab/exp-tool/Makefile b/planetlab/exp-tool/Makefile
index d0712c58c..a62e0d54f 100644
--- a/planetlab/exp-tool/Makefile
+++ b/planetlab/exp-tool/Makefile
@@ -535,9 +535,18 @@ $(foreach host,$(EXTERNAL_HOSTS),cache/rsnap.links.$(host)): ;
 $(foreach host,$(EXTERNAL_HOSTS),cache/db.$(host)):
 	@touch $@
 
+$(foreach host,$(EXTERNAL_HOSTS),del-db.$(host)): del-db.%:
+	@rm cache/db.$*
+
 $(foreach host,$(EXTERNAL_HOSTS),cache/switch.$(host)): ;
 	@touch $@
 
+$(foreach host,$(EXTERNAL_HOSTS),del-switch.$(host)): del-switch.%:
+	@rm -f cache/switch.$* \
+	       cache/port.$*$(SEP)*@1  cache/port.*$(SEP)$*@2  \
+	       cache/endpoint.$*$(SEP)*@2  cache/endpoint.*$(SEP)$*@1  \
+	       L/$*$(SEP)*	      L/*$(SEP)$* \
+	       cache/controller.$*
 
 .SECONDEXPANSION:
 
-- 
2.43.0