From 86e007d8d88802ffb2532a7a9d77d2b83ade5e38 Mon Sep 17 00:00:00 2001
From: Michael Labbe <mike@frogtoss.com>
Date: Sat, 6 Aug 2016 13:16:26 -0700
Subject: [PATCH] don't run premake!

---
 build/dont_run_premake.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 build/dont_run_premake.txt

diff --git a/build/dont_run_premake.txt b/build/dont_run_premake.txt
new file mode 100644
index 0000000..9909dc6
--- /dev/null
+++ b/build/dont_run_premake.txt
@@ -0,0 +1 @@
+Premake-generated build systems are already checked in, in build subdirectories.  Use one of them before attempting to run premake.  See docs/build.md for more.