diff options
| -rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 225a364a..bc3a2b37 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -150,7 +150,7 @@ if GIT_AVAILABLE # if the version is different to avoid rebuilds. commit.h: commit.tmp.h test -f $@ || (echo "" > $@) - if diff $@ $^ >/dev/null; then rm $^; else mv $^ $@; fi + if diff $@ $^ >/dev/null; then rm $^; else mv -f $^ $@; fi commit.tmp.h: printf '#define GIT_COMMIT "%s"\n' `git --work-tree="$(top_srcdir)" describe --dirty` > $@ |