diff dev/llvm/llvm.sh @ 741:ddd41f0f18ee

vanilla: disable some non-available options yet
author David Demelier <markand@malikania.fr>
date Tue, 06 Aug 2019 20:55:00 +0200
parents 034a2a62a9f8
children 59a2fa6992bc
line wrap: on
line diff
--- a/dev/llvm/llvm.sh	Tue Aug 06 20:45:00 2019 +0200
+++ b/dev/llvm/llvm.sh	Tue Aug 06 20:55:00 2019 +0200
@@ -36,7 +36,7 @@
 : ${XML:=yes}
 : ${LLD:=yes}
 : ${NCURSES:=yes}
-: ${SPHINX:=yes}
+: ${SPHINX:=no}         # TODO: set to on once sphinx is there.
 : ${STATIC:=no}
 : ${TARGETS:=all}
 : ${ZLIB:=yes}