From a974f19607f2fe8acd5614dd50a423ae97292019 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 5 Sep 2012 14:51:23 +0200
Subject: [PATCH] targets shownodes and showslice

---
 planetlab/exp-tool/Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/planetlab/exp-tool/Makefile b/planetlab/exp-tool/Makefile
index f3301e13c..9618d888f 100644
--- a/planetlab/exp-tool/Makefile
+++ b/planetlab/exp-tool/Makefile
@@ -53,9 +53,12 @@ FORCE:
 all: $(addprefix L/,$(shell cat links))
 .PHONY: all
 
-nodes:
+# could also do make ++SLICE
+showslice: ++SLICE FORCE
+
+shownodes:
 	@$(foreach id,$(ALL_NODE_IDS),echo $(id)=$(call display,$(id));)
-.PHONY: nodes
+.PHONY: shownodes
 
 sshchecks: $(foreach id,$(ALL_NODE_IDS),cache/sshcheck.$(id))
 .PHONY: sshchecks
-- 
2.47.0