From 8af3b0576283da3a63405b5c5a57ce5965ef7cd4 Mon Sep 17 00:00:00 2001 From: Simon Marsh Date: Mon, 9 Feb 2026 08:18:04 +0000 Subject: [PATCH] remove file deletion check from check-pol --- check-pol | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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