1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6b54725..dbae0f9 100644
--- a/Makefile
+++ b/Makefile
@@ -6,8 +6,12 @@ delegated = clean test traces
 
 .PHONY: $(delegated)
 
-$(delegated):
+$(delegated)::
 	for i in $(implementations);                \
 	do                                          \
 	    make -C $$i $@;                         \
 	done
+
+traces::
+	@ echo "Collecting traces"
+	@ ./collect-traces.sh