diff --git a/example/Performance/Makefile b/example/Performance/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..b7f56b266b574a2acd50ea95869feffa11d50f13
--- /dev/null
+++ b/example/Performance/Makefile
@@ -0,0 +1,9 @@
+SUBDIRS := $(wildcard */.)
+
+all clean run: $(SUBDIRS)
+
+$(SUBDIRS):
+	$(MAKE) -C $@ $(MAKECMDGOALS)
+
+.PHONY: all clean $(SUBDIRS)
+