diff options
author | Salvatore Bonaccorso <carnil@debian.org> | 2015-02-08 09:50:03 +0000 |
---|---|---|
committer | Salvatore Bonaccorso <carnil@debian.org> | 2015-02-08 09:50:03 +0000 |
commit | 75969daa2231f7a7c6f95c56d0e2de7bdfe00a74 (patch) | |
tree | be51d663c3c4870088ea5cc34689df85272d49cb /bin | |
parent | 66798e51046c4ce7a0ac4f4dd5c49bbd712bd060 (diff) |
compare-embed-usertags: Disable header handling for now
git-svn-id: svn+ssh://svn.debian.org/svn/secure-testing@32086 e39458fd-73e7-0310-bf30-c45bca0a0e42
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/compare-embed-usertags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/compare-embed-usertags b/bin/compare-embed-usertags index 2e9234f67e..f6e387a36c 100755 --- a/bin/compare-embed-usertags +++ b/bin/compare-embed-usertags @@ -23,7 +23,7 @@ if [ ! -f data/embedded-code-copies ] ; then exit 1 fi -header=1 +header=0 rsync --recursive rsync://bugs.debian.org/bts-spool-index/user/ data/usertags/ grep --recursive --ignore-case --files-with-matches '^Tag:.*embed' data/usertags/ | while read user ; do |