diff options
-rw-r--r-- | main/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/Makefile.am b/main/Makefile.am index 5f36eb9c41..2460149711 100644 --- a/main/Makefile.am +++ b/main/Makefile.am @@ -26,7 +26,7 @@ $(buildinfo): @mkdir -p "$(top_builddir)/build/bin" # in a tarball, there is a generated buildinfo, which needs to be copied to the right place # otherwise, the file buildinfo will be generated based on git revision etc. - @if test -f "$(top_srcdir)/buildinfo"; then cp "$(top_srcdir)/buildinfo" "$(top_builddir)/build/bin/buildinfo"; else $(MD_CONFIGURE) gen-buildinfo "$(top_builddir)/build/bin"; fi + if test -f "$(top_srcdir)/buildinfo"; then cp "$(top_srcdir)/buildinfo" "$(top_builddir)/build/bin/buildinfo"; else $(MD_CONFIGURE) gen-buildinfo "$(top_builddir)/build/bin"; fi @echo "Updated build information" @cat $(buildinfo) |