lava: Run babeltrace-benchmark jobs with /bin/bash

[lttng-ci.git] / scripts / system-tests / generate-properties-master.sh

diff --git a/scripts/system-tests/generate-properties-master.sh b/scripts/system-tests/generate-properties-master.sh
index ea70b3cdf4617f770941547311aff284e96e82f2..ee660a686623c67cff36677cd4bd3e8d5302cb10 100644 (file)
--- a/scripts/system-tests/generate-properties-master.sh
+++ b/scripts/system-tests/generate-properties-master.sh
@@ -29,6 +29,9 @@ secret_key = echo123456
 # Enable S3 v4 signature APIs
 signature_v2 = False" > "$WORKSPACE/s3cfg"
 
+echo "LAVA_HOST=$LAVA_HOST" >> properties.txt
+echo "LAVA_PROTO=$LAVA_PROTO" >> properties.txt
+
 LTTNG_CI_PATH="$WORKSPACE/src/lttng-ci"
 echo "LTTNG_CI_PATH=$LTTNG_CI_PATH" >> properties.txt
 echo "LTTNG_CI_REPO=$LTTNG_CI_REPO" >> properties.txt