diff --git a/README.md b/README.md index 3dc13adc6fc97f3a9de22ec2ee8fcf06f89fbd23..dcc786678b476c65b938e9129eaa41dd4f3ace10 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/