From 835545c6585ae234b494f602b78a9a0a01dfbb5b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 2 Mar 2019 04:24:52 +0100 Subject: [PATCH] Clean up example --- examples/test-job.sh | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/examples/test-job.sh b/examples/test-job.sh index 7e15974..8a5b167 100755 --- a/examples/test-job.sh +++ b/examples/test-job.sh @@ -7,10 +7,6 @@ tmp_dir=/home/pluehne/tmp -echo "job ID: $JOB_ID" -echo "job key: $JOB_KEY" -echo "job result repository URL: $JOB_RESULT_REPOSITORY_URL" - mkdir -p "$tmp_dir" dir="$tmp_dir"/"job-$JOB_ID" @@ -29,15 +25,14 @@ pushd "$dir" git config user.email "bot@potassco.org" echo "start of benchmark output of job $JOB_KEY" > output + sleep "$TIME" echo "collected $FRUIT" >> output - start_time=$(date +%s%N) + 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) popd - - echo $(expr "$end_time" - "$start_time") >> "$tmp_dir"/overhead popd \ No newline at end of file