diff options
Diffstat (limited to 'mk/flavours/bench-cross.mk')
-rw-r--r-- | mk/flavours/bench-cross.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mk/flavours/bench-cross.mk b/mk/flavours/bench-cross.mk index 15b359e259..90344fc3ac 100644 --- a/mk/flavours/bench-cross.mk +++ b/mk/flavours/bench-cross.mk @@ -8,6 +8,7 @@ HADDOCK_DOCS = NO BUILD_SPHINX_HTML = NO BUILD_SPHINX_PDF = NO BUILD_MAN = NO +WITH_TERMINFO = NO INTEGER_LIBRARY = integer-simple Stage1Only = YES |