Fix bin/dump_crontab

2012-11-13 13:56:04 +01:00 · 2012-11-13 13:56:04 +01:00 · 2f8be5406d
parent da85263116
commit 2f8be5406d
1 changed files with 1 additions and 1 deletions
--- a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
+++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
@ -2,7 +2,7 @@

 cd $HOME/CGAL/next/Maintenance/infrastructure/cgal.geometryfactory.com/
 crontab -l >| crontab
-if [ -d .git ]; then
+if [ -d ../../../.git ]; then
    git pull 2> /dev/null
    git add crontab
    git commit -m 'updated crontab (automated commit)' && git push origin master