torproject/tor
1
0
Fork 0
mirror of https://gitlab.torproject.org/tpo/core/tor.git synced 2024-12-06 19:41:15 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'public/bug7143_v2' into maint-0.2.4

Browse Source
This commit is contained in:
Nick Mathewson
2013-04-17 10:49:59 -04:00
parent 42731f69ef 3dc52e6636
commit b00a6211c5
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/or/include.am
+1 -1
View File
@@ -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: