diff options
Diffstat (limited to 'mk/flavours/bench-llvm.mk')
| -rw-r--r-- | mk/flavours/bench-llvm.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mk/flavours/bench-llvm.mk b/mk/flavours/bench-llvm.mk index e07c1f34a0..2da8ddb932 100644 --- a/mk/flavours/bench-llvm.mk +++ b/mk/flavours/bench-llvm.mk @@ -6,6 +6,5 @@ BUILD_PROF_LIBS = NO SplitObjs = NO HADDOCK_DOCS = NO BUILD_SPHINX_HTML = NO -BUILD_SPHINX_PS = NO BUILD_SPHINX_PDF = NO BUILD_MAN = NO |