From 7a3cef12b9b4bcf0d5d4b3885aeac08e0309a3e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 2 Mar 2019 02:34:02 +0100 Subject: [PATCH] Minor clean-up --- examples/test-job.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/examples/test-job.sh b/examples/test-job.sh index 747451e..f213838 100755 --- a/examples/test-job.sh +++ b/examples/test-job.sh @@ -28,12 +28,12 @@ pushd "$dir" git config user.name "Potassco Bot" git config user.email "bot@potassco.org" - echo "start of benchmark output of job $JOB_KEY" > test-output + echo "start of benchmark output of job $JOB_KEY" > output sleep "$TIME" echo "collected $FRUIT" start_time=$(date +%s%N) - echo "end of benchmark output of job $JOB_KEY" >> test-output - git add test-output + echo "end of benchmark output of job $JOB_KEY" >> output + git add output git commit -m "Add results of job $JOB_KEY" git push end_time=$(date +%s%N)