From 6753d6bbe1f6b200232f96e3dd760cce6b1f144f Mon Sep 17 00:00:00 2001
From: Peter Waegemann <waegemann@cs.fau.de>
Date: Wed, 25 May 2016 10:53:02 +0200
Subject: [PATCH] Add documentation on cronjob for tacle-check

---
 README.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/README.md b/README.md
index 3dc13ad..dcc7866 100644
--- a/README.md
+++ b/README.md
@@ -3,3 +3,12 @@ Setup
 ```
 ./setup.sh
 ```
+
+Cronjob
+========
+
+SHELL=/bin/bash
+PATH=/home/$USER/tacle-tidy/build/bin/:/home/$USER/gene/local/bin:/home/$USER/t-crest/local/bin/:/usr/local/bin:/usr/bin:/bin
+
+# every hour:
+0 * * * * cd /home/$USER/tacle-bench/ && git co . && git pull &> /dev/null && tacle-check.py -j 4 -clean -t 7  -a -c gcc clang g++ clang++ -i /home/$USER/tacle-bench/ -o /tmp/tacle-check-results/ && rm -rf /var/www/html/gcc /var/www/html/clang /var/www/html/tacle-lint /var/www/html/wcet /var/www/html/g++ /var/www/html/clang++ && mv /tmp/tacle-check-results/* /var/www/html/ && chmod a+r -R /var/www/html/tacle-lint/
-- 
GitLab