From 6d6327a0003158e439048538a05b0ffdc6837d59 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 12 Feb 2023 07:01:23 +0000
Subject: [PATCH] Exclude diff files.

---
 .woodpecker/check_external_file_refs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.woodpecker/check_external_file_refs b/.woodpecker/check_external_file_refs
index 32c120c..764024f 100755
--- a/.woodpecker/check_external_file_refs
+++ b/.woodpecker/check_external_file_refs
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 
 
@@ -24,7 +24,7 @@ REGEXP=$DIRREGEXP
 DIR=$DIRMATCH
 failed=0
 for i in $(seq 1 10); do 
-  FILES=`find * -mindepth $((i-1)) -maxdepth $i -type f | xargs`
+  FILES=`find * -mindepth $((i-1)) -maxdepth $i -type f -not -name "*.diff" | xargs`
   if [ -n "$FILES" ]; then 
     grep -s ${REGEXP} ${FILES}
     exit=$?