summaryrefslogtreecommitdiffstatshomepage
path: root/makefile
diff options
context:
space:
mode:
author Miodrag Milanovic <mmicko@gmail.com>2015-04-07 14:19:54 +0200
committer Miodrag Milanovic <mmicko@gmail.com>2015-04-07 14:19:54 +0200
commitc186a6c02c347ee2e6cd084c55192a0ce1fee216 (patch)
treec32de310d7c0c34542126180d2cc3188ea208cc2 /makefile
parent23247b3fb68030359828fca2445746129ca98a82 (diff)
User configuration option can be now stored in useroptions.mak, so no need to alter main makefile (nw)
Diffstat (limited to 'makefile')
-rw-r--r--makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/makefile b/makefile
index 05c107ae11f..d2fcce40250 100644
--- a/makefile
+++ b/makefile
@@ -75,6 +75,8 @@
# FILTER_DEPS = 1
+-include useroptions.mak
+
###########################################################################
################## END USER-CONFIGURABLE OPTIONS ######################
###########################################################################