diff options
| author | Stanislaw Halik <sthalik@misaki.pl> | 2017-06-22 07:28:29 +0200 | 
|---|---|---|
| committer | Stanislaw Halik <sthalik@misaki.pl> | 2017-06-22 07:28:29 +0200 | 
| commit | 442fd797087834cb691cf18f4a808eee6d740353 (patch) | |
| tree | 108f354f498c3f7272095d58dc5b03d861ef83f0 /coverity | |
| parent | 0ebf074be440dc5ba30802fdccfc786c6d4acbd7 (diff) | |
misc irrelevant
Diffstat (limited to 'coverity')
| -rw-r--r-- | coverity/build.sh | 12 | 
1 files changed, 6 insertions, 6 deletions
diff --git a/coverity/build.sh b/coverity/build.sh index 02cd5cad..3d662f8b 100644 --- a/coverity/build.sh +++ b/coverity/build.sh @@ -1,13 +1,13 @@  #!/bin/sh -function cleanup() { +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 @@ -15,7 +15,7 @@ function signal() {      exit 1  } -export PATH="/d/dev/cov-analysis-win64-8.7.0/bin:/c/msys64/bin:/c/msys64/mingw32/bin:/usr/bin:$PATH" +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" @@ -27,7 +27,7 @@ set -e  mydate="$(date --iso-8601=minutes)"  mydir="$(dirname -- "$0")" -myfile="$mydir/opentrack-"$mydate".7z" +myfile="opentrack-"$mydate".7z"  cd "$mydir"  for k in opencv aruco libovr-025  libovr-042 libovr-080; do @@ -39,7 +39,7 @@ cd "./opentrack"  cmake .  ninja32 clean  cov-build --dir cov-int ninja -rm -f "$myfile" || true -7za -mx a "$myfile" cov-int +rm -f "../$myfile" || true +7za -mx a "../$myfile" cov-int  trap '' EXIT  exit 0  | 
