summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-12-22 09:26:35 +0100
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-12-22 09:26:35 +0100
commit4b81d2114f0677da56157e14d9174afb61139067 (patch)
tree7eed21ece4ca5e144b9d3604d4650c4334e5a26b /src/main-menu/Makefile
parent6f7fb373813862c97ff657d3db62b882c29982e3 (diff)
Converts the main-menu module.
Diffstat (limited to 'src/main-menu/Makefile')
-rw-r--r--src/main-menu/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main-menu/Makefile b/src/main-menu/Makefile
index 3b58a08..737be75 100644
--- a/src/main-menu/Makefile
+++ b/src/main-menu/Makefile
@@ -5,7 +5,7 @@ SRC_DIR ?= src
WWW_DIR ?= www
WWW_SCRIPT_DIR ?= $(WWW_DIR)/script
-ELM_CC ?= elm-make --warn
+ELM_CC ?= elm make --optimize
MAIN_MODULE ?= $(SRC_DIR)/Main.elm