diff options
author | Nick Mathewson <nickm@torproject.org> | 2013-04-17 10:49:59 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2013-04-17 10:49:59 -0400 |
commit | b00a6211c5680ae79732d701732f7481cf353526 (patch) | |
tree | e3307337b382776a1a30ff32ea01650c00f2fb70 /src | |
parent | 42731f69efc1f7b0614a33cd6ea7a70903bfc98b (diff) | |
parent | 3dc52e6636b69f10717ddc10ff55426f73ca0068 (diff) | |
download | tor-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.am | 2 |
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: |