diff options
| author | midipix <writeonce@midipix.org> | 2018-12-08 01:16:54 -0500 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2018-12-10 20:50:26 -0500 |
| commit | da95e74f1b3ba2e5b6927aef18d0d7085ea74ecb (patch) | |
| tree | 4ff9bf23e484d11c9fb5487a0e29af7f55dadbf5 /config.project | |
| parent | 6628ef4bf0a27286d13af1010dc70503891c696b (diff) | |
| download | w32lib-da95e74f1b3ba2e5b6927aef18d0d7085ea74ecb.tar.bz2 w32lib-da95e74f1b3ba2e5b6927aef18d0d7085ea74ecb.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 3d29022..4fc9b0f 100644 --- a/config.project +++ b/config.project @@ -70,3 +70,6 @@ mb_all_shared= mb_disable_frontend=yes mb_disable_static= mb_disable_shared=yes + +mb_use_custom_cfgdefs=no +mb_use_custom_usrdefs=no |