diff --git a/configure.ac b/configure.ac
index de47d309deaf94255ba097ac44013c47fc0781e5..99a20584a359eafed7d5a0b60664cbec9e683678 100644
--- a/configure.ac
+++ b/configure.ac
@@ -93,7 +93,7 @@ RUN_TESTS=no
 case $LLVM_VERSION in
   6.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);;
   7.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);;
-  8.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;;
+  8.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);;
   9.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;;
   10.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;;
   *) plugin_disable(frama_clang,