diff options
Diffstat (limited to 'include/config.h')
| -rw-r--r-- | include/config.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/config.h b/include/config.h index 9c90155f..5934d733 100644 --- a/include/config.h +++ b/include/config.h @@ -41,7 +41,9 @@ /* Comment out to disable fancy ANSI boxes and use poor man's 7-bit UI: */ +#ifndef ANDROID_DISABLE_FANCY // Fancy boxes are ugly from adb #define FANCY_BOXES +#endif /* Default timeout for fuzzed code (milliseconds). This is the upper bound, also used for detecting hangs; the actual value is auto-scaled: */ |