diff configure @ 1526:b5d78407886d

Fix to use of .hg_archival.txt (thanks to Austin Seipp)
author Adam Chlipala <adam@chlipala.net>
date Tue, 02 Aug 2011 20:17:41 -0400
parents 52fbd8534ef3
children 7770ef82c463
line wrap: on
line diff
--- 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