summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-12-22 10:47:01 +0100
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-12-22 10:47:01 +0100
commit5f9384a442531b7133cce4edc07edffb0729c3d7 (patch)
treee8bb40140e2cf84b05a0e5313e2d2b21637c5118 /src/map-editor/Makefile
parent0f2bae1ecdf08aec43b129994ac87570ef42e1f3 (diff)
Converts map-editor, JSON broken, dep. updates...
Diffstat (limited to 'src/map-editor/Makefile')
-rw-r--r--src/map-editor/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map-editor/Makefile b/src/map-editor/Makefile
index 3b58a08..737be75 100644
--- a/src/map-editor/Makefile
+++ b/src/map-editor/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