X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=planetlab%2Fexp-tool%2FMakefile;h=52aae82683f1cb7b8ca4e6d41a1d7216f7835429;hb=03f976b173e2e670eb2fa77eae8eacd2abf4bf84;hp=d62a4c5c8c7f50f25d09fa7e49597cfc3906b375;hpb=591cb419cf3694e0ae66a95973e73c61bad9e03d;p=sliver-openvswitch.git

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