From 7d559d6d23982719b8003ebe6308b104def0d3fd Mon Sep 17 00:00:00 2001 From: Stanislaw Halik Date: Sat, 29 Apr 2017 05:20:39 +0200 Subject: coverity: simplify directory structure --- coverity/.gitignore | 3 +++ coverity/aruco/.gitkeep | 0 coverity/build.cmd | 4 ++++ coverity/build.sh | 45 ++++++++++++++++++++++++++++++++++++++ coverity/build/.gitignore | 3 --- coverity/build/aruco/.gitkeep | 0 coverity/build/build.cmd | 4 ---- coverity/build/build.sh | 45 -------------------------------------- coverity/build/libovr-025/.gitkeep | 0 coverity/build/libovr-042/.gitkeep | 0 coverity/build/libovr-080/.gitkeep | 0 coverity/build/libovr-140/.gitkeep | 0 coverity/build/opencv/.gitkeep | 0 coverity/build/opentrack/.gitkeep | 0 coverity/libovr-025/.gitkeep | 0 coverity/libovr-042/.gitkeep | 0 coverity/libovr-080/.gitkeep | 0 coverity/libovr-140/.gitkeep | 0 coverity/opencv/.gitkeep | 0 coverity/opentrack/.gitkeep | 0 20 files changed, 52 insertions(+), 52 deletions(-) create mode 100644 coverity/.gitignore create mode 100644 coverity/aruco/.gitkeep create mode 100644 coverity/build.cmd create mode 100644 coverity/build.sh delete mode 100644 coverity/build/.gitignore delete mode 100644 coverity/build/aruco/.gitkeep delete mode 100644 coverity/build/build.cmd delete mode 100644 coverity/build/build.sh delete mode 100644 coverity/build/libovr-025/.gitkeep delete mode 100644 coverity/build/libovr-042/.gitkeep delete mode 100644 coverity/build/libovr-080/.gitkeep delete mode 100644 coverity/build/libovr-140/.gitkeep delete mode 100644 coverity/build/opencv/.gitkeep delete mode 100644 coverity/build/opentrack/.gitkeep create mode 100644 coverity/libovr-025/.gitkeep create mode 100644 coverity/libovr-042/.gitkeep create mode 100644 coverity/libovr-080/.gitkeep create mode 100644 coverity/libovr-140/.gitkeep create mode 100644 coverity/opencv/.gitkeep create mode 100644 coverity/opentrack/.gitkeep (limited to 'coverity') diff --git a/coverity/.gitignore b/coverity/.gitignore new file mode 100644 index 00000000..52f763f0 --- /dev/null +++ b/coverity/.gitignore @@ -0,0 +1,3 @@ +/*/ +/*.tar.* +/*.zip diff --git a/coverity/aruco/.gitkeep b/coverity/aruco/.gitkeep new file mode 100644 index 00000000..e69de29b diff --git a/coverity/build.cmd b/coverity/build.cmd new file mode 100644 index 00000000..6da5a3b1 --- /dev/null +++ b/coverity/build.cmd @@ -0,0 +1,4 @@ +setlocal +set PATH=%path%;d:\cygwin64\usr\i686-w64-mingw32\bin;d:\cygwin64\bin +cov-build --dir cov-int ninja %* +exit /b %ERRORLEVEL% diff --git a/coverity/build.sh b/coverity/build.sh new file mode 100644 index 00000000..02cd5cad --- /dev/null +++ b/coverity/build.sh @@ -0,0 +1,45 @@ +#!/bin/sh + +function 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() { + set +e + trap '' EXIT + echo "error: $1" 1>&2 + cleanup + exit 1 +} + +export PATH="/d/dev/cov-analysis-win64-8.7.0/bin:/c/msys64/bin:/c/msys64/mingw32/bin:/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 + +trap 'signal "fatal return $?"' EXIT + +set -e + +mydate="$(date --iso-8601=minutes)" +mydir="$(dirname -- "$0")" +myfile="$mydir/opentrack-"$mydate".7z" + +cd "$mydir" +for k in opencv aruco libovr-025 libovr-042 libovr-080; do + ninja -C "./$k" +done + +cd "./opentrack" + +cmake . +ninja32 clean +cov-build --dir cov-int ninja +rm -f "$myfile" || true +7za -mx a "$myfile" cov-int +trap '' EXIT +exit 0 diff --git a/coverity/build/.gitignore b/coverity/build/.gitignore deleted file mode 100644 index 52f763f0..00000000 --- a/coverity/build/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -/*/ -/*.tar.* -/*.zip diff --git a/coverity/build/aruco/.gitkeep b/coverity/build/aruco/.gitkeep deleted file mode 100644 index e69de29b..00000000 diff --git a/coverity/build/build.cmd b/coverity/build/build.cmd deleted file mode 100644 index 6da5a3b1..00000000 --- a/coverity/build/build.cmd +++ /dev/null @@ -1,4 +0,0 @@ -setlocal -set PATH=%path%;d:\cygwin64\usr\i686-w64-mingw32\bin;d:\cygwin64\bin -cov-build --dir cov-int ninja %* -exit /b %ERRORLEVEL% diff --git a/coverity/build/build.sh b/coverity/build/build.sh deleted file mode 100644 index 02cd5cad..00000000 --- a/coverity/build/build.sh +++ /dev/null @@ -1,45 +0,0 @@ -#!/bin/sh - -function 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() { - set +e - trap '' EXIT - echo "error: $1" 1>&2 - cleanup - exit 1 -} - -export PATH="/d/dev/cov-analysis-win64-8.7.0/bin:/c/msys64/bin:/c/msys64/mingw32/bin:/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 - -trap 'signal "fatal return $?"' EXIT - -set -e - -mydate="$(date --iso-8601=minutes)" -mydir="$(dirname -- "$0")" -myfile="$mydir/opentrack-"$mydate".7z" - -cd "$mydir" -for k in opencv aruco libovr-025 libovr-042 libovr-080; do - ninja -C "./$k" -done - -cd "./opentrack" - -cmake . -ninja32 clean -cov-build --dir cov-int ninja -rm -f "$myfile" || true -7za -mx a "$myfile" cov-int -trap '' EXIT -exit 0 diff --git a/coverity/build/libovr-025/.gitkeep b/coverity/build/libovr-025/.gitkeep deleted file mode 100644 index e69de29b..00000000 diff --git a/coverity/build/libovr-042/.gitkeep b/coverity/build/libovr-042/.gitkeep deleted file mode 100644 index e69de29b..00000000 diff --git a/coverity/build/libovr-080/.gitkeep b/coverity/build/libovr-080/.gitkeep deleted file mode 100644 index e69de29b..00000000 diff --git a/coverity/build/libovr-140/.gitkeep b/coverity/build/libovr-140/.gitkeep deleted file mode 100644 index e69de29b..00000000 diff --git a/coverity/build/opencv/.gitkeep b/coverity/build/opencv/.gitkeep deleted file mode 100644 index e69de29b..00000000 diff --git a/coverity/build/opentrack/.gitkeep b/coverity/build/opentrack/.gitkeep deleted file mode 100644 index e69de29b..00000000 diff --git a/coverity/libovr-025/.gitkeep b/coverity/libovr-025/.gitkeep new file mode 100644 index 00000000..e69de29b diff --git a/coverity/libovr-042/.gitkeep b/coverity/libovr-042/.gitkeep new file mode 100644 index 00000000..e69de29b diff --git a/coverity/libovr-080/.gitkeep b/coverity/libovr-080/.gitkeep new file mode 100644 index 00000000..e69de29b diff --git a/coverity/libovr-140/.gitkeep b/coverity/libovr-140/.gitkeep new file mode 100644 index 00000000..e69de29b diff --git a/coverity/opencv/.gitkeep b/coverity/opencv/.gitkeep new file mode 100644 index 00000000..e69de29b diff --git a/coverity/opentrack/.gitkeep b/coverity/opentrack/.gitkeep new file mode 100644 index 00000000..e69de29b -- cgit v1.2.3