patch: Don't break on unknwown files. Just skip them.

diff --git a/scripts/patch b/scripts/patch
index 32ddb390c3b65b71c4c643837f0d9aaaa9db20f6..927b8803aeccf86b6e59382e04b23a5bf948a8be 100755 (executable)
--- a/scripts/patch
+++ b/scripts/patch
@@ -55,13 +55,9 @@ for patch in ${patches}; do
                        # Default is -p1.
                        options="${options} -p1"
                        ;;
-               *.off)
-                       # Ignore disabled patches.
-                       continue
-                       ;;
                *)
-                       echo >&2 "   ERROR: Unknown filetype: ${patch}"
-                       exit 1
+                       echo >&2 "   WARNING: Ignoring unknown file: ${patch}"
+                       continue
                        ;;
        esac