# HG changeset patch # User Adam Chlipala # Date 1312330661 14400 # Node ID b5d78407886dfbcdc8dc0cef0f7934306e650b8d # Parent a479947efbcd12d73f90ba968360cbee03923b93 Fix to use of .hg_archival.txt (thanks to Austin Seipp) diff -r a479947efbcd -r b5d78407886d configure --- a/configure Tue Aug 02 17:28:37 2011 -0400 +++ b/configure Tue Aug 02 20:17:41 2011 -0400 @@ -12177,7 +12177,7 @@ fi if test $WORKING_VERSION = "1"; then - VERSION="$VERSION + `hg identify || cat .hg_archival.txt || echo ?`" + VERSION="$VERSION + `hg identify || (cat .hg_archival.txt | grep 'node\:') || echo ?`" fi diff -r a479947efbcd -r b5d78407886d configure.ac --- a/configure.ac Tue Aug 02 17:28:37 2011 -0400 +++ b/configure.ac Tue Aug 02 20:17:41 2011 -0400 @@ -81,7 +81,7 @@ fi if test [$WORKING_VERSION = "1"]; then - VERSION="$VERSION + `hg identify || cat .hg_archival.txt || echo ?`" + VERSION="$VERSION + `hg identify || (cat .hg_archival.txt | grep 'node\:') || echo ?`" fi AC_SUBST(CC)