echo "LTTNG_CI_PATH=$LTTNG_CI_PATH" >> properties.txt
echo "LINUX_PATH=$LINUX_PATH" >> properties.txt
echo "LTTNG_MODULES_PATH=$LTTNG_MODULES_PATH" >> properties.txt
echo "LTTNG_CI_PATH=$LTTNG_CI_PATH" >> properties.txt
echo "LINUX_PATH=$LINUX_PATH" >> properties.txt
echo "LTTNG_MODULES_PATH=$LTTNG_MODULES_PATH" >> properties.txt