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/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 10 files changed, 52 deletions(-) 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 (limited to 'coverity/build') 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 -- cgit v1.2.3