diff options
author | midipix <writeonce@midipix.org> | 2016-05-09 12:06:40 -0400 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2016-11-10 23:35:48 -0500 |
commit | ad42d8701361e1e399db8eb9c0a0513242b3c9d0 (patch) | |
tree | 564e9ac44e8871fd6d2b91322ca8677432ba4a8d /config.project | |
parent | a403fe9a3f2cbae6a1c8b2b1a53ae8ebd51638a0 (diff) | |
download | perk-ad42d8701361e1e399db8eb9c0a0513242b3c9d0.tar.bz2 perk-ad42d8701361e1e399db8eb9c0a0513242b3c9d0.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 4c08c04..f953169 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= |