From 2ba224e1526681c1a0b1b2b095b1ef2b0874db48 Mon Sep 17 00:00:00 2001
From: bfredl <bjorn.linse@gmail.com>
Date: Sun, 26 Feb 2023 12:51:03 +0100
Subject: refactor(log): reduce compile time LOG_LEVEL granularity

---
 test/symbolic/klee/run.sh | 1 -
 1 file changed, 1 deletion(-)

(limited to 'test')

diff --git a/test/symbolic/klee/run.sh b/test/symbolic/klee/run.sh
index 97ce42c31b..d022fccb02 100755
--- a/test/symbolic/klee/run.sh
+++ b/test/symbolic/klee/run.sh
@@ -58,7 +58,6 @@ main() {
   includes="$includes -I/host-includes"
 
   local defines=
-  defines="$defines -DMIN_LOG_LEVEL=9999"
   defines="$defines -DINCLUDE_GENERATED_DECLARATIONS"
 
   test -z "$compile" && defines="$defines -DUSE_KLEE"
-- 
cgit