[kernel] r22040 - dists/sid/linux/debian/bin

[Ben Hutchings]

Author: benh
Date: Wed Nov  5 23:42:08 2014
New Revision: 22040

Log:
check-patches.sh: Continue if fgrep has exit code of 1

Modified:
   dists/sid/linux/debian/bin/check-patches.sh

Modified: dists/sid/linux/debian/bin/check-patches.sh
==============================================================================
--- dists/sid/linux/debian/bin/check-patches.sh	Wed Nov  5 23:39:49 2014	(r22039)
+++ dists/sid/linux/debian/bin/check-patches.sh	Wed Nov  5 23:42:08 2014	(r22040)
@@ -15,7 +15,7 @@
 echo "Patches without required headers"
 echo "================================"
 xargs egrep -l '^(Subject|Description):' < $TMPDIR/used | xargs egrep -l '^(From|Author|Origin):' > $TMPDIR/goodheaders || test $? = 1
-fgrep -v -f $TMPDIR/goodheaders $TMPDIR/used
+fgrep -v -f $TMPDIR/goodheaders $TMPDIR/used || test $? = 1
 echo
 echo "Patches without Origin or Forwarded header"
 echo "=========================================="