diff options
Diffstat (limited to 'scripts/eigen_gen_credits')
-rwxr-xr-x | scripts/eigen_gen_credits | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/eigen_gen_credits b/scripts/eigen_gen_credits index a7adce1cc..654743256 100755 --- a/scripts/eigen_gen_credits +++ b/scripts/eigen_gen_credits @@ -15,8 +15,8 @@ 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 +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 |