diff options
author | midipix <writeonce@midipix.org> | 2018-12-08 01:16:54 -0500 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2018-12-10 20:49:41 -0500 |
commit | f7cf5cd105b082729bd41fad9acb13afafbe5dd2 (patch) | |
tree | 8140c19c3a4e88a278ef323f5d8b9df4853aed7b /config.project | |
parent | 03cc75bba4f50253d6bfbcae0d392accd35789ce (diff) | |
download | ntux-f7cf5cd105b082729bd41fad9acb13afafbe5dd2.tar.bz2 ntux-f7cf5cd105b082729bd41fad9acb13afafbe5dd2.tar.xz |
build system: support custom configuration via cfgdefs.sh (and usrdefs.mk).
Diffstat (limited to 'config.project')
-rw-r--r-- | config.project | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config.project b/config.project index d5f5900..c11f2d3 100644 --- a/config.project +++ b/config.project @@ -72,3 +72,6 @@ mb_all_shared= mb_disable_frontend= mb_disable_static=yes mb_disable_shared=yes + +mb_use_custom_cfgdefs=no +mb_use_custom_usrdefs=no |