1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/build/v-klee.inc b/scripts/build/v-klee.inc
index 5f7d9fca..60b4a498 100644
--- a/scripts/build/v-klee.inc
+++ b/scripts/build/v-klee.inc
@@ -4,12 +4,14 @@ required_variables_klee=(
   "KLEE_RUNTIME_BUILD"
   "USE_TCMALLOC"
   "USE_LIBCXX"
+  "ENABLE_DOXYGEN"
 )
 
 required_variables_check_klee() {
   check_bool "COVERAGE"
   check_bool "USE_TCMALLOC"
   check_bool "USE_LIBCXX"
+  check_bool "ENABLE_DOXYGEN"
 }
 
 # On which artifacts does KLEE depend on