summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorNick Mathewson <nickm@torproject.org>2013-04-17 10:49:59 -0400
committerNick Mathewson <nickm@torproject.org>2013-04-17 10:49:59 -0400
commitb00a6211c5680ae79732d701732f7481cf353526 (patch)
treee3307337b382776a1a30ff32ea01650c00f2fb70 /src
parent42731f69efc1f7b0614a33cd6ea7a70903bfc98b (diff)
parent3dc52e6636b69f10717ddc10ff55426f73ca0068 (diff)
downloadtor-b00a6211c5680ae79732d701732f7481cf353526.tar.gz
tor-b00a6211c5680ae79732d701732f7481cf353526.zip
Merge remote-tracking branch 'public/bug7143_v2' into maint-0.2.4
Diffstat (limited to 'src')
-rw-r--r--src/or/include.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/or/include.am b/src/or/include.am
index 241015488a..d2be1fb1ef 100644
--- a/src/or/include.am
+++ b/src/or/include.am
@@ -188,6 +188,6 @@ src/or/or_sha1.i: $(src_or_tor_SOURCES) $(src_or_libtor_a_SOURCES) $(ORHEADERS)
touch src/or/or_sha1.i; \
fi
-CLEANFILES+= micro-revision.i
+CLEANFILES+= micro-revision.i src/or/micro-revision.i
FORCE: