diff options
| author | bfredl <bjorn.linse@gmail.com> | 2023-03-04 17:18:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-04 17:18:32 +0100 |
| commit | bc26f23e5ae49f54b4fbd18f692f300254e454eb (patch) | |
| tree | c5bed8b8eb3aaf261197a9713eef8b8cc3e13e35 /test | |
| parent | dde5ce46b2e3e77efc27394b946ef49ce565cd95 (diff) | |
| parent | 2ba224e1526681c1a0b1b2b095b1ef2b0874db48 (diff) | |
| download | rneovim-bc26f23e5ae49f54b4fbd18f692f300254e454eb.tar.gz rneovim-bc26f23e5ae49f54b4fbd18f692f300254e454eb.tar.bz2 rneovim-bc26f23e5ae49f54b4fbd18f692f300254e454eb.zip | |
Merge pull request #22415 from bfredl/log_debug
refactor(log): reduce compile time LOG_LEVEL granularity
Diffstat (limited to 'test')
| -rwxr-xr-x | test/symbolic/klee/run.sh | 1 |
1 files changed, 0 insertions, 1 deletions
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" |