diff --git a/script/run_local_ci.sh b/script/run_local_ci.sh
index 56d531c..42fd99c 100755
--- a/script/run_local_ci.sh
+++ b/script/run_local_ci.sh
@@ -285,6 +285,9 @@
 		cc_path_spec="$workspace/cc_plugin"
 		import_cc=1
 	fi
+else
+	in_green "Code coverage disabled"
+	import_cc=1
 fi
 
 # User preferences