summaryrefslogtreecommitdiffhomepage
path: root/coverity/build/build.sh
diff options
context:
space:
mode:
authorStanislaw Halik <sthalik@misaki.pl>2017-04-29 05:20:39 +0200
committerStanislaw Halik <sthalik@misaki.pl>2017-04-29 05:20:39 +0200
commit7d559d6d23982719b8003ebe6308b104def0d3fd (patch)
tree48a978d8e9426c70962179c2dd222ae29913eb5c /coverity/build/build.sh
parent8f5ad2e339a8167ac8b6fd49b853f41624f9acda (diff)
coverity: simplify directory structure
Diffstat (limited to 'coverity/build/build.sh')
-rw-r--r--coverity/build/build.sh45
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