From f7e903d4930a29a50188da23420e6dea5f092995 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Sat, 25 Jan 2014 08:09:24 -0700 Subject: [PATCH] new drdr meta --- pkgs/plt-services/meta/drdr/metadata.rkt | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/pkgs/plt-services/meta/drdr/metadata.rkt b/pkgs/plt-services/meta/drdr/metadata.rkt index ce2fef72c6..471ee99733 100644 --- a/pkgs/plt-services/meta/drdr/metadata.rkt +++ b/pkgs/plt-services/meta/drdr/metadata.rkt @@ -9,11 +9,7 @@ (define (path-command-line a-path a-timeout) (define suffix (filename-extension a-path)) (define default-cmd - (and suffix - (case (string->symbol (bytes->string/utf-8 suffix)) - [(ss scm scrbl rkt sls) - `(raco "test" "-m" "--timeout" ,(number->string a-timeout) *)] - [else #f]))) + `(raco "test" "-m" "--timeout" ,(number->string a-timeout) *)) (define (replace-* s) (cond [(eq? '* s)