#!/bin/bash -exu
#
-# Copyright (C) 2015 - Michael Jeanson <mjeanson@efficios.com>
-# Jonathan Rajotte-Julien <jonathan.rajotte-julien@efficios.com>
+# Copyright (C) 2019 Michael Jeanson <mjeanson@efficios.com>
+# Copyright (C) 2015 Jonathan Rajotte-Julien <jonathan.rajotte-julien@efficios.com>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
export KERNELDIR="$WORKSPACE/src/linux"
fi
+# Enter the source directory
+cd "$SRCDIR"
# Verify upload is permitted
# Added "--insecure" because Coverity can't be bothered to properly install SSL certificate chains
TOOL_DIR=$(find "$TOOL_BASE" -type d -name 'cov-analysis*')
export PATH=$TOOL_DIR/bin:$PATH
-cd "$SRCDIR"
-
COVERITY_SCAN_VERSION=$(git describe --always | sed 's|-|.|g')
# Build
linux-rseq)
make defconfig
make -j"$NPROC" prepare
- cov-build --dir "$RESULTS_DIR" $COVERITY_SCAN_BUILD_OPTIONS make -j"$NPROC" kernel/rseq.o kernel/cpu_opv.o V=1 KCPPFLAGS="$CPPFLAGS"
+ cov-build --dir "$RESULTS_DIR" $COVERITY_SCAN_BUILD_OPTIONS make -j"$NPROC" kernel/rseq.o kernel/do_on_cpu/core.o kernel/do_on_cpu/interpreter.o kernel/do_on_cpu/validate.o V=1
;;
*)
echo "Unsupported build type: $BUILD_TYPE"