summaryrefslogtreecommitdiff
path: root/config.project
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2016-05-09 12:06:40 -0400
committermidipix <writeonce@midipix.org>2016-11-11 00:22:44 -0500
commit4a98075832b0a00db20244372dd639c40a79431b (patch)
treea56305db0ad034302c40fe4523d759deb99a9b2d /config.project
parentd48c740d4b1e485faa1dc90ab7d41df433ac7330 (diff)
downloadmdso-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.project1
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=