[tz] [PROPOSED 5/9] Port ‘make check_now’ to macOS

Dec. 21, 2023

* checknow.awk: Port to macOS, where ‘find FOO/’ outputs
names containing ‘FOO//’.
---
 checknow.awk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/checknow.awk b/checknow.awk
index e50ad118..d722c03f 100644
--- a/checknow.awk
+++ b/checknow.awk
@@ -15,6 +15,7 @@ BEGIN {
       record_zone(zone, data)
       zone = $0
       sub(/.*\.dir\//, "", zone)
+      sub(/\/\//, "/", zone)
       sub(/"/, "", zone)
       data = ""
     } else if ($0 ~ /./)
-- 
2.43.0

    

Paul Eggert