Dont-Auto-Build

Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
diff --git a/Dont-Auto-Build b/Dont-Auto-Build
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/Dont-Auto-Build