summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-12-23 15:20:00 +0100
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-12-23 15:20:00 +0100
commitdfdeef7e04763d6805ed8c7951738037dc17deed (patch)
treef0058fad05d97b1ed15a42b893e5507f793aefe0 /src/roster-editor/Makefile
parentc85c883a4c3ec2c4ac67160c2f58e6d2f5706483 (diff)
Converts the roster-editor.
Diffstat (limited to 'src/roster-editor/Makefile')
-rw-r--r--src/roster-editor/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/roster-editor/Makefile b/src/roster-editor/Makefile
index 3b58a08..737be75 100644
--- a/src/roster-editor/Makefile
+++ b/src/roster-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