suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Drop attempt to verify when running plainly.

Browse Source 
Instead, require a "verify" verb, and adjust the props so drdr will use
it.

Also add some OS X & Windows patterns to be ignored.
This commit is contained in:
Eli Barzilay 2012-07-20 10:43:56 -04:00
parent f2b9cdaadd
commit a2f94b49d3
1 changed files with 4 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
collects/meta/props
View File

@ -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 *)