diff options
| author |  Benoit Jacob <jacob.benoit.1@gmail.com> | 2010-04-22 20:59:19 -0400 |
|---|---|---|
| committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2010-04-22 20:59:19 -0400 |
| commit | c29b431ad957ffbe50e427f68f5de0932d306c09 (patch) | |
| tree | 3774f01294bb2980e13f44b24b0777971dc5d398 /scripts | |
| parent | 4502afeedf14d32145ffb8b0079c738949fefd48 (diff) | |
remove eigen_gen_credits script
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/eigen_gen_credits | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/scripts/eigen_gen_credits b/scripts/eigen_gen_credits deleted file mode 100755 index 83ca8da12..000000000 --- a/scripts/eigen_gen_credits +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/sh - -# this script must be run from the eigen/ directory. -# when running hg churn from the scripts/ subdir, i hit a divide-by-zero error. -# -# like this: -# cd eigen -# USER=yourtuxfamilyuser scripts/eigen_gen_credits - -rm -f 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) -ssh $USER@ssh.tuxfamily.org "cd eigen/eigen.tuxfamily.org-web/htdocs; chmod 664 credits.out; echo Main_Page | /usr/bin/php maintenance/purgeList.php" |