Skip to content
Snippets Groups Projects
Commit 6753d6bb authored by Peter Wägemann's avatar Peter Wägemann
Browse files

Add documentation on cronjob for tacle-check

parent 46d2dedc
No related branches found
No related tags found
No related merge requests found
...@@ -3,3 +3,12 @@ Setup ...@@ -3,3 +3,12 @@ Setup
``` ```
./setup.sh ./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/
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment