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
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