From: Nick Mathewson <nickm@torproject.org>
Date: Tue, 19 Feb 2013 22:53:38 +0000 (-0500)
Subject: Add src/or/micro-revision.i to CLEANFILES in case anybody has one
X-Git-Tag: tor-0.2.4.12-alpha~3^2^2
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=3dc52e6636b69f10717ddc10ff55426f73ca0068;p=thirdparty%2Ftor.git

Add src/or/micro-revision.i to CLEANFILES in case anybody has one

Fix for 7143.
---

diff --git a/changes/bug7143 b/changes/bug7143
new file mode 100644
index 0000000000..d26135ae65
--- /dev/null
+++ b/changes/bug7143
@@ -0,0 +1,4 @@
+  o Minor bugfixes (build):
+    - Add the old src/or/micro-revision.i filename to CLEANFILES.
+      On the off chance that somebody has one, it will go away as soon
+      as they run "make clean". Fix for bug 7143; bugfix on 0.2.4.1-alpha.
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: