diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-01-17 21:10:09 +0100 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-01-17 21:10:09 +0100 |
| commit | 44110e3d3fc9081d2defa960422f95e13fb50849 (patch) | |
| tree | a50f0ec57ba979551ecfe820e6048dac4a6b27b1 | |
| parent | 772a4f3bd52f857f46669253ec34ad0dcd6001c4 (diff) | |
Don't ask when overwriting version file
| -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` > $@ |