diff options
author | Aidan MacDonald <amachronic@protonmail.com> | 2021-08-14 12:37:19 +0100 |
---|---|---|
committer | Aidan MacDonald <amachronic@protonmail.com> | 2021-08-15 19:36:14 +0000 |
commit | de578bde1fb283027545b4a6a3292e39d0a1f1a7 (patch) | |
tree | 998816ba0bd491f9b9020fcd2ed10c2d7d8c4edd | |
parent | cc6b036ef5209161469d36808355c40382a26bac (diff) | |
download | rockbox-de578bde1fb283027545b4a6a3292e39d0a1f1a7.tar.gz rockbox-de578bde1fb283027545b4a6a3292e39d0a1f1a7.zip |
Add advanced build option to omit building plugins
Compiling the plugins takes quite a long time and is unnecessary
if you're only working on the core code. Having an option is nicer
than having to edit the configure script by hand.
Change-Id: I401867355d897ce3fd899d9daf25ea9afcc380f0
-rwxr-xr-x | tools/configure | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index a68e683cdd..4aaf0befb6 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -935,7 +935,7 @@ whichadvanced () { | |||
935 | echo "" | 935 | echo "" |
936 | printf "Enter your developer options (press only enter when done)\n\ | 936 | printf "Enter your developer options (press only enter when done)\n\ |
937 | (D)EBUG, (L)ogf, Boot(c)hart, (S)imulator, (P)rofiling, (V)oice, (U)SB Serial, (W)in32 crosscompile,\n\ | 937 | (D)EBUG, (L)ogf, Boot(c)hart, (S)imulator, (P)rofiling, (V)oice, (U)SB Serial, (W)in32 crosscompile,\n\ |
938 | Win(6)4 crosscompile, (T)est plugins, S(m)all C lib, Logf to Ser(i)al port:" | 938 | Win(6)4 crosscompile, (T)est plugins, (O)mit plugins, S(m)all C lib, Logf to Ser(i)al port:" |
939 | if [ "$modelname" = "iaudiom5" ]; then | 939 | if [ "$modelname" = "iaudiom5" ]; then |
940 | printf ", (F)M radio MOD" | 940 | printf ", (F)M radio MOD" |
941 | fi | 941 | fi |
@@ -975,6 +975,10 @@ Win(6)4 crosscompile, (T)est plugins, S(m)all C lib, Logf to Ser(i)al port:" | |||
975 | echo "Including test plugins" | 975 | echo "Including test plugins" |
976 | extradefines="$extradefines -DHAVE_TEST_PLUGINS" | 976 | extradefines="$extradefines -DHAVE_TEST_PLUGINS" |
977 | ;; | 977 | ;; |
978 | [Oo]) | ||
979 | echo "Disabling building of plugins" | ||
980 | plugins="no" | ||
981 | ;; | ||
978 | [Cc]) | 982 | [Cc]) |
979 | echo "bootchart enabled (logf also enabled)" | 983 | echo "bootchart enabled (logf also enabled)" |
980 | bootchart="yes" | 984 | bootchart="yes" |