new makefile target for error reporting

diff --git a/planetlab/exp-tool/Makefile b/planetlab/exp-tool/Makefile
index d62a4c5..52aae82 100644 (file)
--- 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