1 files changed, 9 insertions, 0 deletions
diff --git a/build b/build
new file mode 100755
index 0000000..ece25f1
--- /dev/null
+++ b/build
@@ -0,0 +1,9 @@
+#!/usr/bin/make -f
+
+# For 3.1.2:
+source_sha256sum = eb87eacd8fe49e8d90c8fdc189813023ccc319c5e752b01fb6ad0cc7b2c53d5e
+
+include ../source.mk
+
+nop:
+	@: