diff options
| author | midipix <writeonce@midipix.org> | 2018-12-08 01:16:54 -0500 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2018-12-10 20:49:14 -0500 |
| commit | e271dd3b3992e68b2c0e70da3d3951b53a5a4dd9 (patch) | |
| tree | df877c82ae042915efc51846954329fceb0d3e76 /config.project | |
| parent | 9a5af6ba19b0ff2b1163162cd0515f9128538b70 (diff) | |
| download | mdso-e271dd3b3992e68b2c0e70da3d3951b53a5a4dd9.tar.bz2 mdso-e271dd3b3992e68b2c0e70da3d3951b53a5a4dd9.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 3844d0f..2bcbb56 100644 --- a/config.project +++ b/config.project @@ -71,3 +71,6 @@ mb_all_shared= mb_disable_frontend= mb_disable_static= mb_disable_shared= + +mb_use_custom_cfgdefs=no +mb_use_custom_usrdefs=no |