mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-04-18 19:30:38 +08:00
use -f so that the script is happy even if the log file is not there
This commit is contained in:
parent
905b3b9379
commit
68988e4ad0
@ -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
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user