summaryrefslogtreecommitdiffstatshomepage
path: root/makefile
diff options
context:
space:
mode:
author Julian Sikorski <belegdol+github@gmail.com>2015-06-06 13:38:19 +0200
committer Julian Sikorski <belegdol+github@gmail.com>2015-06-06 13:38:19 +0200
commit13506b6b54360591f7182aed12be0d63618e2c84 (patch)
tree42148a5621855566a4cdd133cc118d81828ae2e8 /makefile
parent6684d8af8efc0d2e46a4e7fc1da0fb9953fad11d (diff)
Added OPT_FLAGS back
Diffstat (limited to 'makefile')
-rw-r--r--makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/makefile b/makefile
index e9b302c711a..e96640a0d05 100644
--- a/makefile
+++ b/makefile
@@ -49,6 +49,7 @@
# MAP = 1
# PROFILE = 1
# ARCHOPTS =
+# OPT_FLAGS =
# LDOPTS =
# USE_SYSTEM_LIB_EXPAT = 1
@@ -401,6 +402,10 @@ ifdef ARCHOPTS
PARAMS += --ARCHOPTS='$(ARCHOPTS)'
endif
+ifdef OPT_FLAGS
+PARAMS += --OPT_FLAGS='$(OPT_FLAGS)'
+endif
+
ifdef MAP
PARAMS += --MAP='$(MAP)'
endif