eliminate grep failure
authorHeiko Schlittermann <hs@schlittermann.de>
Thu, 13 Aug 2015 14:52:38 +0200
changeset 85 5ffd87a76d87
parent 84 80137f13b982
child 86 71449e95f477
eliminate grep failure
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