Merge tag 'debian/0.15.1-1' into squeeze-backports

[obsolete/notmuch-old] / performance-test / Makefile

diff --git a/performance-test/Makefile b/performance-test/Makefile
new file mode 100644 (file)
index 0000000..de492a7
--- /dev/null
+++ b/performance-test/Makefile
@@ -0,0 +1,7 @@
+# See Makefile.local for the list of files to be compiled in this
+# directory.
+all:
+       $(MAKE) -C .. all
+
+.DEFAULT:
+       $(MAKE) -C .. $@