diff options
| author | midipix <writeonce@midipix.org> | 2016-05-09 12:06:40 -0400 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2016-11-11 00:22:44 -0500 |
| commit | 4a98075832b0a00db20244372dd639c40a79431b (patch) | |
| tree | a56305db0ad034302c40fe4523d759deb99a9b2d /config.project | |
| parent | d48c740d4b1e485faa1dc90ab7d41df433ac7330 (diff) | |
| download | mdso-4a98075832b0a00db20244372dd639c40a79431b.tar.bz2 mdso-4a98075832b0a00db20244372dd639c40a79431b.tar.xz | |
build system: configure, project: added --disable-frontend support.
This patch also provides 'app' as a user-friendly synonym for 'frontend'.
Diffstat (limited to 'config.project')
| -rw-r--r-- | config.project | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.project b/config.project index 8720dac..bc02099 100644 --- a/config.project +++ b/config.project @@ -51,5 +51,6 @@ mb_default_elf_config_defs= # config mb_all_static= mb_all_shared= +mb_disable_frontend= mb_disable_static= mb_disable_shared= |