diff --git a/collects/tests/typed-scheme/run b/collects/tests/typed-scheme/run index f202b9b4a3..63ee58cc4f 100755 --- a/collects/tests/typed-scheme/run +++ b/collects/tests/typed-scheme/run @@ -1,2 +1,2 @@ #!/bin/sh -gracket -e '(begin (require "main.ss") (go))' +gracket -e '(begin (require "main.ss") (go tests))' diff --git a/collects/tests/typed-scheme/run.rkt b/collects/tests/typed-scheme/run.rkt index a9b16f90f2..2a0c53f678 100644 --- a/collects/tests/typed-scheme/run.rkt +++ b/collects/tests/typed-scheme/run.rkt @@ -30,7 +30,7 @@ (cond [(and (unit?) (int?)) tests] [(unit?) unit-tests] [(int?) int-tests] - [(the-tests) (the-tests)] + [(or (the-tests) (bench?) (opt?)) (the-tests)] [else (error "You must specify which tests should be run. See --help for more info.\n")]))