From f36ac911d3f66f75be91a5f7ea9e8ef9ce6031a6 Mon Sep 17 00:00:00 2001
From: Joris Vink <joris@coders.se>
Date: Mon, 1 Feb 2016 22:19:16 +0100
Subject: [PATCH] Mention NOOPT.

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index db0711c..c68b6bf 100644
--- a/README.md
+++ b/README.md
@@ -76,6 +76,7 @@ those by setting a shell environment variable before running **_make_**.
 * DEBUG=1 (enables use of -d for debug)
 * NOTLS=1 (compiles Kore without TLS)
 * NOHTTP=1 (compiles Kore without HTTP support)
+* NOOPT=1 (disable compiler optimizations)
 
 Example libraries
 -----------------