new drdr meta

2014-01-25 08:09:24 -07:00 · 2014-01-25 08:09:24 -07:00 · f7e903d493
commit f7e903d493
parent 8177be0b99
1 changed files with 1 additions and 5 deletions
--- 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)