diff --git a/check-pol b/check-pol index 9e2b6b5b0..73ff5c23d 100755 --- a/check-pol +++ b/check-pol @@ -70,9 +70,7 @@ do object="$3" # check the file really is a registry object - # (including if it still exists, as it may have been deleted) - if [ -f "$filename" ] && [ "$path" = 'data' ] && \ - [ -n "$type" ] && [ -n "$object" ] + if [ "$path" = 'data' ] && [ -n "$type" ] && [ -n "$object" ] then # run the check script