sync: ignore ignored suid files

1 files changed, 10 insertions, 1 deletions

diff --git a/sync.sh b/sync.sh
index 87e6a6b..bf68fed 100755
--- a/sync.sh
+++ b/sync.sh
@@ -68,7 +68,16 @@ do
     echo "$dir erzeugt Manpages in /usr/man statt /usr/share/man!"
     exit -1
   fi
-  ergs="$(prtverify $dir)"
+  ergs=$(
+    prtverify $dir \
+    | grep -v "$(
+      sed '
+        s@^# !suid \(\S\+\)$@ suid file found: \1$@
+        t
+        d
+      ' $dir/Pkgfile
+    )"
+  )
   if [ -n "$ergs" ]
   then
     echo "prtverify meckert $dir an:"