diff options
author | Timotheus Pokorra <timotheus.pokorra@solidcharity.com> | 2014-06-04 10:34:09 +0400 |
---|---|---|
committer | Timotheus Pokorra <timotheus.pokorra@solidcharity.com> | 2014-06-04 10:34:09 +0400 |
commit | 734aab85f3a225a648733436377cdcc5dc0b0a1e (patch) | |
tree | bd6e4a2782bb77b9f87b1f041084452a8f976c74 /main | |
parent | da0a1fcf837802b82fdeec0ced5122aa751757b9 (diff) |
explicitly generate buildinfo during make dist;
fixing problems with comments in Makefile, caused by my previous commit
Diffstat (limited to 'main')
-rw-r--r-- | main/Makefile.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/main/Makefile.am b/main/Makefile.am index 61e66557d2..5f36eb9c41 100644 --- a/main/Makefile.am +++ b/main/Makefile.am @@ -24,9 +24,9 @@ vcrevision: $(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 [ -f "$(top_srcdir)/buildinfo" ]; then cp "$(top_srcdir)/buildinfo" "$(top_builddir)/build/bin/buildinfo"; else $(MD_CONFIGURE) gen-buildinfo "$(top_builddir)/build/bin"; fi +# 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 @echo "Updated build information" @cat $(buildinfo) |