diff options
| author | bfredl <bjorn.linse@gmail.com> | 2023-02-26 12:51:03 +0100 |
|---|---|---|
| committer | bfredl <bjorn.linse@gmail.com> | 2023-03-04 15:26:17 +0100 |
| commit | 2ba224e1526681c1a0b1b2b095b1ef2b0874db48 (patch) | |
| tree | abc74351fbabb67aa4c68db9996e40cf6a87cff5 /test | |
| parent | 6cab36e5b7b0d741abe6c5a7c0e20bad30361034 (diff) | |
| download | rneovim-2ba224e1526681c1a0b1b2b095b1ef2b0874db48.tar.gz rneovim-2ba224e1526681c1a0b1b2b095b1ef2b0874db48.tar.bz2 rneovim-2ba224e1526681c1a0b1b2b095b1ef2b0874db48.zip | |
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" |