projects
/
lttng-ci.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge pull request #44 from frdeso/lava_fuzzing_remove_coredump
[lttng-ci.git]
/
scripts
/
common
/
coverity.sh
diff --git
a/scripts/common/coverity.sh
b/scripts/common/coverity.sh
index dae6b5420b85505b0aae51be2c2dbfdca637475a..c0476c28a0f326e7c4737679edc0a8212938d193 100755
(executable)
--- a/
scripts/common/coverity.sh
+++ b/
scripts/common/coverity.sh
@@
-76,6
+76,10
@@
lttng-scope|ctf-java|libdelorean-java|jabberwocky)
BUILD_TYPE="maven"
MVN_BIN="$HOME/tools/hudson.tasks.Maven_MavenInstallation/default/bin/mvn"
;;
BUILD_TYPE="maven"
MVN_BIN="$HOME/tools/hudson.tasks.Maven_MavenInstallation/default/bin/mvn"
;;
+linux-rseq)
+ CONF_OPTS=""
+ BUILD_TYPE="linux-rseq"
+ ;;
*)
echo "Generic project, no configure options."
CONF_OPTS=""
*)
echo "Generic project, no configure options."
CONF_OPTS=""
@@
-152,12
+156,6
@@
cd "$SRCDIR"
COVERITY_SCAN_VERSION=$(git describe --always | sed 's|-|.|g')
COVERITY_SCAN_VERSION=$(git describe --always | sed 's|-|.|g')
-# Prepare build dir for autotools based projects
-if [ -f "./bootstrap" ]; then
- ./bootstrap
- ./configure $CONF_OPTS
-fi
-
# Build
echo -e "\033[33;1mRunning Coverity Scan Analysis Tool...\033[0m"
case "$BUILD_TYPE" in
# Build
echo -e "\033[33;1mRunning Coverity Scan Analysis Tool...\033[0m"
case "$BUILD_TYPE" in
@@
-173,8
+171,18
@@
maven)
clean verify
;;
autotools)
clean verify
;;
autotools)
+ # Prepare build dir for autotools based projects
+ if [ -f "./bootstrap" ]; then
+ ./bootstrap
+ ./configure $CONF_OPTS
+ fi
+
cov-build --dir "$RESULTS_DIR" $COVERITY_SCAN_BUILD_OPTIONS make -j"$NPROC" V=1
;;
cov-build --dir "$RESULTS_DIR" $COVERITY_SCAN_BUILD_OPTIONS make -j"$NPROC" V=1
;;
+linux-rseq)
+ make defconfig
+ cov-build --dir "$RESULTS_DIR" $COVERITY_SCAN_BUILD_OPTIONS make -j"$NPROC" kernel/rseq.o kernel/cpu_opv.o V=1
+ ;;
*)
echo "Unsupported build type: $BUILD_TYPE"
exit 1
*)
echo "Unsupported build type: $BUILD_TYPE"
exit 1
@@
-205,7
+213,7
@@
response=$(curl \
"$UPLOAD_URL")
set -x
status_code=$(echo "$response" | sed -n '$p')
"$UPLOAD_URL")
set -x
status_code=$(echo "$response" | sed -n '$p')
-if [ "$
status_code" == "201
" ]; then
+if [ "$
{status_code:0:1}" == "2
" ]; then
echo -e "\033[33;1mCoverity Scan upload successful.\033[0m"
else
TEXT=$(echo "$response" | sed '$d')
echo -e "\033[33;1mCoverity Scan upload successful.\033[0m"
else
TEXT=$(echo "$response" | sed '$d')
This page took
0.023342 seconds
and
4
git commands to generate.