diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2023-12-17 14:18:49 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2023-12-17 14:18:49 +0100 |
commit | 96da31f8cb9ec57313ab496a9ce07b108ec3914f (patch) | |
tree | 18ce4d6e2adcf5303c77cc03c9c468a7afa251f9 /src/analyze.sh | |
parent | 5400fb6e98435efe682b4a9de7266579b634de3c (diff) | |
parent | eece9692d707ccb20356ec06955f8308c4e59ca7 (diff) |
Update upstream source from tag 'upstream/4.19'
Update to upstream version '4.19'
with Debian dir a79aeedeffb7d90638e4dcbdae78296b59e0c285
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" |