diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 1dd94eece5..82f9cfb00f 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -362,7 +362,7 @@ whichadvanced () { | |||
362 | interact=1 | 362 | interact=1 |
363 | echo "" | 363 | echo "" |
364 | echo "Enter your developer options (press enter when done)" | 364 | echo "Enter your developer options (press enter when done)" |
365 | printf "(D)EBUG, (L)ogf, Boot(c)hart, (S)imulator, (P)rofiling, (V)oice, (W)in32 crosscompile" | 365 | printf "(D)EBUG, (L)ogf, Boot(c)hart, (S)imulator, (P)rofiling, (V)oice, (W)in32 crosscompile, (T)est plugins" |
366 | if [ "$memory" = "2" ]; then | 366 | if [ "$memory" = "2" ]; then |
367 | printf ", (8)MB MOD" | 367 | printf ", (8)MB MOD" |
368 | fi | 368 | fi |
@@ -403,6 +403,10 @@ whichadvanced () { | |||
403 | echo "logf() support enabled" | 403 | echo "logf() support enabled" |
404 | logf="yes" | 404 | logf="yes" |
405 | ;; | 405 | ;; |
406 | [Tt]) | ||
407 | echo "Including test plugins" | ||
408 | extradefines="$extradefines -DHAVE_TEST_PLUGINS" | ||
409 | ;; | ||
406 | [Cc]) | 410 | [Cc]) |
407 | echo "bootchart enabled (logf also enabled)" | 411 | echo "bootchart enabled (logf also enabled)" |
408 | bootchart="yes" | 412 | bootchart="yes" |