diff options
-rw-r--r-- | .hgignore | 3 | ||||
-rwxr-xr-x | scripts/eigen_gen_credits | 14 |
2 files changed, 13 insertions, 4 deletions
@@ -20,4 +20,5 @@ CMakeCache.txt tags .*.swp activity.png -gmon.out +*.out +*.php*
\ No newline at end of file diff --git a/scripts/eigen_gen_credits b/scripts/eigen_gen_credits index ec31da33c..a7adce1cc 100755 --- a/scripts/eigen_gen_credits +++ b/scripts/eigen_gen_credits @@ -10,12 +10,20 @@ # configuration USER='bjacob' -wget http://eigen.tuxfamily.org/index.php?title=ContributorsInfo -O online-info.out -o wget.log -hg churn -r 37: --changesets -t {author} > churn-changesets.out -hg churn -r 37: -t {author} > churn-changedlines.out +rm eigen_gen_credits.log + +hg pull >> eigen_gen_credits.log + +wget http://eigen.tuxfamily.org/index.php?title=ContributorsInfo -O online-info.out -a eigen_gen_credits.log +hg churn -r 37: --changesets -t {author} >> churn-changesets.out +hg churn -r 37: -t {author} >> churn-changedlines.out g++ scripts/eigen_gen_credits.cpp -o e ./e > credits.out rsync credits.out $USER@ssh.tuxfamily.org:eigen/eigen.tuxfamily.org-web/htdocs/credits.out || (echo "upload failed"; exit 1) + +# clear the server-side cache for Main Page +wget "http://eigen.tuxfamily.org/index.php?title=Main_Page&action=purge" -O main-page.out -a eigen_gen_credits.log +rm main-page.out |