diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2023-12-17 14:20:52 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2023-12-17 14:20:52 +0100 |
commit | 6f600257a5d03bfab2452da05dd62f274065c519 (patch) | |
tree | 18ce4d6e2adcf5303c77cc03c9c468a7afa251f9 /src/analyze.sh | |
parent | 5400fb6e98435efe682b4a9de7266579b634de3c (diff) | |
parent | 96da31f8cb9ec57313ab496a9ce07b108ec3914f (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'src/analyze.sh')
-rwxr-xr-x | src/analyze.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/analyze.sh b/src/analyze.sh new file mode 100755 index 0000000..042998f --- /dev/null +++ b/src/analyze.sh @@ -0,0 +1,3 @@ +#!/bin/sh +f="--analyze -Xanalyzer -analyzer-output=text -Wall -g3" +make -k check CC=clang CXX=clang++ CFLAGS="$f" CXXFLAGS="$f" |