summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--makefile10
1 files changed, 10 insertions, 0 deletions
diff --git a/makefile b/makefile
index bf183922f..460aa3ee4 100644
--- a/makefile
+++ b/makefile
@@ -11,11 +11,21 @@
#
CC = /usr/bin/g++
+
+# _X: These settings produce a debug build, with gdb symbols:
+# CC_OPTIONS = -s -ggdb
+# CCE_OPTIONS = -s -x c -ggdb
+# LNK_OPTIONS = -lstdc++ -pthread -ggdb
+
+
+# _X: these settings should be used for the release build:
CC_OPTIONS = -s -O3
CCE_OPTIONS = -s -x c -O3
LNK_OPTIONS = -lstdc++ -pthread -O3
+
+
#
# INCLUDE directories for MCServer
#