diff options
Diffstat (limited to 'src/or/Makefile.am')
| -rw-r--r-- | src/or/Makefile.am | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/or/Makefile.am b/src/or/Makefile.am index 8e2011017e..ff24a5ffeb 100644 --- a/src/or/Makefile.am +++ b/src/or/Makefile.am @@ -37,6 +37,28 @@ micro-revision.i: FORCE sed -n 's/^Revision: \([0-9][0-9]*\).*/"\1"/p' > micro-revision.i \ || true; \ fi; \ + if test ! -f micro-revision.i -a x`which svk` != x; then\ + location=../..; \ + rev=x; \ + while test x$$rev = xx; do \ + x=`svk info $$location | \ + sed -n 's/^Mirrored From:.*, Rev\. \([0-9][0-9]*\)/\1/p'`; \ + if test x$$x != x; then \ + rev=$$x; \ + break; \ + else \ + loc=`svk info $$location | \ + sed -n 's/^Copied From: \(.*\), Rev\. [0-9][0-9]*/\1/p'`; \ + if test x$$loc == x; then \ + rev=""; \ + break; \ + else \ + location=/$$loc; \ + fi; \ + fi; \ + done; \ + echo \"$$rev\" > micro-revision.i; \ + fi; \ if test ! -f micro-revision.i; then \ echo '""' > micro-revision.i; \ fi |