jjb: Add latency-tracker

[lttng-ci.git] / scripts / common / coverity.sh

diff --git a/scripts/common/coverity.sh b/scripts/common/coverity.sh
index 37b23fc69f4bbb0a72c5bf06600736b608b7ee6d..89e0a2c0a409818ea7c678476f12f3e455d64292 100755 (executable)
--- a/scripts/common/coverity.sh
+++ b/scripts/common/coverity.sh
@@ -93,8 +93,8 @@ if [ -d "$WORKSPACE/deps/lttng-ust" ]; then
   export LD_LIBRARY_PATH="$UST_LIBS:${LD_LIBRARY_PATH:-}"
 fi
 
-if [ -d "$WORKSPACE/linux" ]; then
-       export KERNELDIR="$WORKSPACE/linux"
+if [ -d "$WORKSPACE/src/linux" ]; then
+       export KERNELDIR="$WORKSPACE/src/linux"
 fi