From 6b900de4efd368be88ef3db88b1eff8f835a7cf7 Mon Sep 17 00:00:00 2001
From: Giuseppe Lettieri <g.lettieri@iet.unipi.it>
Date: Sun, 18 Aug 2013 12:20:11 +0200
Subject: [PATCH] new makefile target for error reporting

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

diff --git a/planetlab/exp-tool/Makefile b/planetlab/exp-tool/Makefile
index d62a4c5c8..52aae8268 100644
--- a/planetlab/exp-tool/Makefile
+++ b/planetlab/exp-tool/Makefile
@@ -604,3 +604,13 @@ $(foreach link,$(EXTERNAL_LINKS),cache/endpoint.$(link)@2): cache/endpoint.%@2:
 	   ./tunproxy -t $$(cat cache/host.$(call leftnode,$*)):$$(cat cache/port.$*@1) \
            -p $(call default,EXTERNAL_PORT,$(call rightnode,$*)) -e -d
 
+# reporting
+.PHONY: report
+report:	
+	@echo SHELL=$(SHELL)
+	@echo "===> Configuration ($(CONF)):"
+	@cat $(CONF)
+	@for f in log/*; do \
+	     echo "===> Log file $$(basename $$f):"; \
+	     cat $$f; \
+	 done
-- 
2.43.0