diff options
Diffstat (limited to 'sync.sh')
-rwxr-xr-x | sync.sh | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -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:" |