diff --git a/scripts/eigen_gen_credits b/scripts/eigen_gen_credits index 654743256..f597b1b6a 100755 --- a/scripts/eigen_gen_credits +++ b/scripts/eigen_gen_credits @@ -8,9 +8,9 @@ # scripts/eigen_gen_credits # configuration -USER='bjacob' +USER='orzel' -rm eigen_gen_credits.log +rm -f eigen_gen_credits.log hg pull >> eigen_gen_credits.log