diff options
| -rw-r--r-- | src/or/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/or/Makefile.am b/src/or/Makefile.am index 73a3e346e2..ef079a45c1 100644 --- a/src/or/Makefile.am +++ b/src/or/Makefile.am @@ -36,7 +36,7 @@ micro-revision.i: FORCE sed -n 's/^Revision: \([0-9][0-9]*\).*/"\1"/p' > micro-revision.i \ || true; \ else \ - if test x`which svk` != x; then \ + if test x`which svk` != x -a -d ~/.svk; then \ location=../..; \ rev=x; \ while test x$$rev = xx; do \ |