diff options
author | Stanislaw Halik <sthalik@misaki.pl> | 2017-04-29 05:20:39 +0200 |
---|---|---|
committer | Stanislaw Halik <sthalik@misaki.pl> | 2017-04-29 05:20:39 +0200 |
commit | 7d559d6d23982719b8003ebe6308b104def0d3fd (patch) | |
tree | 48a978d8e9426c70962179c2dd222ae29913eb5c /coverity/build/build.sh | |
parent | 8f5ad2e339a8167ac8b6fd49b853f41624f9acda (diff) |
coverity: simplify directory structure
Diffstat (limited to 'coverity/build/build.sh')
-rw-r--r-- | coverity/build/build.sh | 45 |
1 files changed, 0 insertions, 45 deletions
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 |