# 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
+echo "LTTNG_CI_BRANCH=$LTTNG_CI_BRANCH" >> properties.txt
KERNEL_COMMIT_ID=$KERNEL_TAG_ID
echo "KERNEL_COMMIT_ID=$KERNEL_COMMIT_ID" >> properties.txt
echo "LTTNG_VERSION=$LTTNG_VERSION" >> properties.txt
echo "KGITREPO=$KERNEL_REPO" >> properties.txt
echo "LTTNG_MODULES_REPO=$LTTNG_MODULES_REPO" >> properties.txt
+echo "ROOTFS_URL=$ROOTFS_URL" >> properties.txt
echo "STORAGE_KERNEL_FOLDER=$BASE_STORAGE_FOLDER/kernel" >> properties.txt
echo "STORAGE_KERNEL_IMAGE=$BASE_STORAGE_FOLDER/kernel/$KERNEL_COMMIT_ID.$BUILD_DEVICE.bzImage" >> properties.txt
echo "STORAGE_LINUX_MODULES=$BASE_STORAGE_FOLDER/modules/linux/$KERNEL_COMMIT_ID.$BUILD_DEVICE.linux.modules.tar.gz" >> properties.txt