diff options
Diffstat (limited to 'coverity')
| -rw-r--r-- | coverity/.gitignore (renamed from coverity/build/.gitignore) | 1 | ||||
| -rw-r--r-- | coverity/aruco/.gitkeep (renamed from coverity/build/aruco/.gitkeep) | 0 | ||||
| -rw-r--r-- | coverity/build.cmd (renamed from coverity/build/build.cmd) | 0 | ||||
| -rw-r--r-- | coverity/build.sh (renamed from coverity/build/build.sh) | 23 | ||||
| -rw-r--r-- | coverity/libovr-025/.gitkeep (renamed from coverity/build/libovr-025/.gitkeep) | 0 | ||||
| -rw-r--r-- | coverity/libovr-042/.gitkeep (renamed from coverity/build/libovr-042/.gitkeep) | 0 | ||||
| -rw-r--r-- | coverity/libovr-080/.gitkeep (renamed from coverity/build/libovr-080/.gitkeep) | 0 | ||||
| -rw-r--r-- | coverity/libovr-140/.gitkeep (renamed from coverity/build/libovr-140/.gitkeep) | 0 | ||||
| -rw-r--r-- | coverity/opencv/.gitkeep (renamed from coverity/build/opencv/.gitkeep) | 0 | ||||
| -rw-r--r-- | coverity/opentrack/.gitkeep (renamed from coverity/build/opentrack/.gitkeep) | 0 |
10 files changed, 14 insertions, 10 deletions
diff --git a/coverity/build/.gitignore b/coverity/.gitignore index 52f763f0..c68481c7 100644 --- a/coverity/build/.gitignore +++ b/coverity/.gitignore @@ -1,3 +1,4 @@ /*/ /*.tar.* /*.zip +/* diff --git a/coverity/build/aruco/.gitkeep b/coverity/aruco/.gitkeep index e69de29b..e69de29b 100644 --- a/coverity/build/aruco/.gitkeep +++ b/coverity/aruco/.gitkeep diff --git a/coverity/build/build.cmd b/coverity/build.cmd index 6da5a3b1..6da5a3b1 100644 --- a/coverity/build/build.cmd +++ b/coverity/build.cmd diff --git a/coverity/build/build.sh b/coverity/build.sh index 332aee91..d868d64a 100644 --- a/coverity/build/build.sh +++ b/coverity/build.sh @@ -1,11 +1,13 @@ #!/bin/sh -function cleanup() { - killall cc1 cc1plus collect2 lto1 lto-wrapper gcc g++ i686-w64-mingw32-gcc i686-w64-mingw32-{c++,g++} 2>/dev/null +cleanup() { + for i in cov-build ninja; do + taskkill -f -t -im "$i.exe" 2>/dev/null 1>&2 + done rm -f "$myfile" } -function signal() { +signal() { set +e trap '' EXIT echo "error: $1" 1>&2 @@ -13,6 +15,8 @@ function signal() { exit 1 } +export PATH="/d/dev/cov-analysis-win64-8.7.0/bin:/c/msys64/mingw32/bin:/c/msys64/usr/bin:$PATH" + for k in HUP INT QUIT ILL BUS FPE SEGV PIPE; do trap "signal 'got fatal signal SIG'$k" SIG"$k" done @@ -23,20 +27,19 @@ set -e mydate="$(date --iso-8601=minutes)" mydir="$(dirname -- "$0")" -myfile="$(pwd)/opentrack-"$mydate".tar.xz" +myfile="opentrack-$mydate.7z" cd "$mydir" -for k in opencv aruco libovr-025 libovr-042 libovr-080; do +for k in opencv aruco libovr-025 libovr-042 libovr-080; do ninja -C "./$k" done -ninja -C ./libovr-140 install - cd "./opentrack" cmake . -ninja clean -cov-build --dir cov-int ninja -tar Jcf ../opentrack-"$mydate".tar.xz cov-int +ninja32 clean +cov-build --dir cov-int ninja -v -j1 +rm -f "../$myfile" || true +7za -mx a "../$myfile" cov-int trap '' EXIT exit 0 diff --git a/coverity/build/libovr-025/.gitkeep b/coverity/libovr-025/.gitkeep index e69de29b..e69de29b 100644 --- a/coverity/build/libovr-025/.gitkeep +++ b/coverity/libovr-025/.gitkeep diff --git a/coverity/build/libovr-042/.gitkeep b/coverity/libovr-042/.gitkeep index e69de29b..e69de29b 100644 --- a/coverity/build/libovr-042/.gitkeep +++ b/coverity/libovr-042/.gitkeep diff --git a/coverity/build/libovr-080/.gitkeep b/coverity/libovr-080/.gitkeep index e69de29b..e69de29b 100644 --- a/coverity/build/libovr-080/.gitkeep +++ b/coverity/libovr-080/.gitkeep diff --git a/coverity/build/libovr-140/.gitkeep b/coverity/libovr-140/.gitkeep index e69de29b..e69de29b 100644 --- a/coverity/build/libovr-140/.gitkeep +++ b/coverity/libovr-140/.gitkeep diff --git a/coverity/build/opencv/.gitkeep b/coverity/opencv/.gitkeep index e69de29b..e69de29b 100644 --- a/coverity/build/opencv/.gitkeep +++ b/coverity/opencv/.gitkeep diff --git a/coverity/build/opentrack/.gitkeep b/coverity/opentrack/.gitkeep index e69de29b..e69de29b 100644 --- a/coverity/build/opentrack/.gitkeep +++ b/coverity/opentrack/.gitkeep |