diff options
Diffstat (limited to 'checkman.txr')
-rw-r--r-- | checkman.txr | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/checkman.txr b/checkman.txr index 0f0c6a1e..c41407f6 100644 --- a/checkman.txr +++ b/checkman.txr @@ -143,6 +143,13 @@ @ (throw bad ln `.@ip followed by blank line`) @(end) @;; +@;; Check for .meIP, .meti or .mets containing spurious spaces. +@;; +@(define check-spaces ()) +.@{mac /meIP|meti|mets/}@/(( \\)+ )?/@(skip) @(skip) +@ (throw bad ln `.@mac contains spurious spaces`) +@(end) +@;; @;; Main @;; @(bind errors 0) @@ -173,4 +180,14 @@ (put-line `@file:@line:@msg`)) @ (end) @(end) +@(next file) +@(repeat) +@ (line ln) +@ (try) +@ (check-spaces) +@ (catch bad (line msg)) +@ (do (inc errors) + (put-line `@file:@line:@msg`)) +@ (end) +@(end) @(do (exit (zerop errors))) |