From a2f94b49d39d71e049b0e535867d89e775cc1f0c Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 20 Jul 2012 10:43:56 -0400 Subject: [PATCH] Drop attempt to verify when running plainly. Instead, require a "verify" verb, and adjust the props so drdr will use it. Also add some OS X & Windows patterns to be ignored. --- collects/meta/props | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/collects/meta/props b/collects/meta/props index 9eb0327ffb..86405e27b9 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -352,7 +352,9 @@ path/s is either such a string or a list of them. #rx"(?:^|/)[.]git" #rx"^(?:README|bin|lib|include|[.]mailmap)$" #rx"^collects/info-domain$" - #rx"^doc/[^/]*$")) + #rx"^doc/[^/]*$" + #rx"(?:^|/)[.]DS_Store$" + #rx"^[^/]*[.](?:app|exe)$")) (define (verify) (define errors 0) @@ -622,13 +624,6 @@ path/s is either such a string or a list of them. ;; read the arguments here, so just requiring this file verifies the data (read-props) -;; if we're running directly, do a verification -;; Use this only when supported -(require (for-syntax racket/base version/utils)) -(define-syntax (add-main stx) - (if ((version) . version<=? . "5.2.1") #'(begin) #'(module+ main (verify)))) -(add-main) - ;; ---------------------------------------------------------------------------- #| #:begin-props @@ -806,7 +801,7 @@ path/s is either such a string or a list of them. "collects/meta/drdr" responsible (jay) drdr:command-line #f "collects/meta/drdr2" responsible (jay) drdr:command-line #f "collects/meta/images/mkheart.rkt" drdr:command-line #f -"collects/meta/props" drdr:command-line (racket *) responsible (eli jay) +"collects/meta/props" drdr:command-line (racket * "verify") responsible (eli jay) "collects/meta/web" drdr:command-line #f "collects/mred" responsible (mflatt) "collects/mred/edit-main.rkt" drdr:command-line (mzc *)