diff options
author | Peter Palfrader <peter@palfrader.org> | 2009-09-21 14:51:26 +0200 |
---|---|---|
committer | Peter Palfrader <peter@palfrader.org> | 2009-09-21 14:51:26 +0200 |
commit | 6332c51f73e3722d899792fa5212befaf28be3b2 (patch) | |
tree | 4fc292bf1f6312e536ee7717a1a9ad5d16aac02d /.gitignore | |
parent | 06211f2b9027b1a898c6de67468f1c627a281ca3 (diff) | |
download | tor-6332c51f73e3722d899792fa5212befaf28be3b2.tar tor-6332c51f73e3722d899792fa5212befaf28be3b2.tar.gz |
Build debian's micro-revision into the binary
If we have a debian/micro-revision.i, replace the one in src/or
with our copy so that this will be the revision that ends up in
the binary. This is an informational only version string, but
it'd be kinda nice if it was (more) accurate nonetheless.
Of course this won't help if people manually patch around but
it's still preferable to claiming we are exactly upstream's source.
If we are building directly out of a git tree, update
debian/micro-revision.i in the clean target.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9dcf3a4fe..b7bb31a18 100644 --- a/.gitignore +++ b/.gitignore @@ -80,6 +80,7 @@ # /debian/ /debian/files +/debian/micro-revision.i /debian/patched /debian/tor /debian/tor.postinst.debhelper |