diff options
author | Nick Mathewson <nickm@torproject.org> | 2013-02-19 17:53:38 -0500 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2013-02-19 17:53:38 -0500 |
commit | 3dc52e6636b69f10717ddc10ff55426f73ca0068 (patch) | |
tree | 9a1ae23050bec96536cd39d85e5716f6353ff703 /src/or/include.am | |
parent | 337e32f5b8f5f3b310da20bf0135f17d06efb3ab (diff) | |
download | tor-3dc52e6636b69f10717ddc10ff55426f73ca0068.tar.gz tor-3dc52e6636b69f10717ddc10ff55426f73ca0068.zip |
Add src/or/micro-revision.i to CLEANFILES in case anybody has one
Fix for 7143.
Diffstat (limited to 'src/or/include.am')
-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: |