diff --git a/.gitlab/build.sh b/.gitlab/build.sh index 5d9c75ba35407004b5d3150bac8994b8b25c6386..492fc6d31bb2a2b20d113d55e35ddc729fee6796 100755 --- a/.gitlab/build.sh +++ b/.gitlab/build.sh @@ -13,6 +13,7 @@ ### set -ex +PATH=$PATH:$OTF2_DIR/bin # # Build the project #