diff options
author | midipix <writeonce@midipix.org> | 2018-12-08 01:16:54 -0500 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2018-12-10 20:50:19 -0500 |
commit | beeda8187cdba0ce8306f75fc2816fdc3736784a (patch) | |
tree | 6e9efa2e8e88fe6288afc17d779ac60b262180bf /config.project | |
parent | c40c5eeeb2376b32dbe534a822f3a1d3734af5fd (diff) | |
download | u16ports-beeda8187cdba0ce8306f75fc2816fdc3736784a.tar.bz2 u16ports-beeda8187cdba0ce8306f75fc2816fdc3736784a.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 d51ab09..1dc6517 100644 --- a/config.project +++ b/config.project @@ -69,3 +69,6 @@ mb_all_shared= mb_disable_frontend=yes mb_disable_static= mb_disable_shared= + +mb_use_custom_cfgdefs=no +mb_use_custom_usrdefs=no |