commit f36ac911d3f66f75be91a5f7ea9e8ef9ce6031a6
parent 40f69924bb612938951093541d73f52015526970
Author: Joris Vink <joris@coders.se>
Date: Mon, 1 Feb 2016 22:19:16 +0100
Mention NOOPT.
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git 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
-----------------