# HG changeset patch
# User Heiko Schlittermann <hs@schlittermann.de>
# Date 1439470358 -7200
# Node ID 5ffd87a76d872724a809d7a52c0d7e1832a9a7b5
# Parent  80137f13b982ee18eaee9ea973eabb7614519974
eliminate grep failure

diff -r 80137f13b982 -r 5ffd87a76d87 debian/postinst
--- a/debian/postinst	Thu Aug 13 11:40:57 2015 +0200
+++ b/debian/postinst	Thu Aug 13 14:52:38 2015 +0200
@@ -81,7 +81,7 @@
 'BI6Tuo4nHxXUgux72MHwvyizlN53JFipBJRSRtRv19PnMMNx9spe7Jmf2v67OJ6JXDzpfa'\
 'b7WT6krss1t2dyQZLWnlWTxjK8arQjoEOBwl4VkjXbbopTt6+To8LdZiS39VQBZvKDgfPw'\
 'GVHigxjRSSZfVYyF+lADoXWJBF' \
-    < $file > $tmp
+    < $file > $tmp    || true
     if ! test -s $tmp || ! cmp $tmp $file >/dev/null
     then
 	cat $tmp > $file