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-05-09 22:04:02 -0400
commita51e37cdd3c65d67d2f44d886ea442e7bb2b75a7 (patch)
tree0b35894b2637d41ae035c847052dcae760c1f1e5 /config.project
parent54c1e4ea1a3b372275d4b02374fae49c5092bafe (diff)
downloadsofort-a51e37cdd3c65d67d2f44d886ea442e7bb2b75a7.tar.bz2
sofort-a51e37cdd3c65d67d2f44d886ea442e7bb2b75a7.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 b27e70b..70b2e28 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=