diff options
| author | midipix <writeonce@midipix.org> | 2016-05-09 12:06:40 -0400 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2016-05-09 22:04:02 -0400 |
| commit | a51e37cdd3c65d67d2f44d886ea442e7bb2b75a7 (patch) | |
| tree | 0b35894b2637d41ae035c847052dcae760c1f1e5 /config.project | |
| parent | 54c1e4ea1a3b372275d4b02374fae49c5092bafe (diff) | |
| download | sofort-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.project | 1 |
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= |