diff options
| -rw-r--r-- | GNUmakefile | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 01b023f8a..803730d5d 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -43,8 +43,18 @@ CC_OPTIONS = -s -O3 CXX_OPTIONS = -s -O3
LNK_OPTIONS = -lstdc++ -pthread -O3
BUILDDIR = build/release/
+
else
+ifeq ($(profile),1)
+################
+# profile build - a release build with symbols and profiling engine built in
+################
+CC_OPTIONS = -s -ggdb -O3 -pg
+CXX_OPTIONS = -s -ggdb -O3 -pg
+LNK_OPTIONS = -lstdc++ -pthread -ggdb -O3 -pg
+BUILDDIR = build/profile/
+else
ifeq ($(pedantic),1)
################
# pedantic build - basically a debug build with lots of warnings
@@ -64,7 +74,7 @@ CXX_OPTIONS = -s -ggdb -D_DEBUG LNK_OPTIONS = -lstdc++ -pthread -ggdb
BUILDDIR = build/debug/
endif
-
+endif
endif
|