diff --git a/collects/tests/info.ss b/collects/tests/info.ss index 538218d19f..8c81976c79 100644 --- a/collects/tests/info.ss +++ b/collects/tests/info.ss @@ -5,7 +5,8 @@ (define tool-names '("DrScheme Test Suites" "Time Keystrokes")) (define compile-omit-paths - '("aligned-pasteboard" + '("2htdp" + "aligned-pasteboard" "deinprogramm" "honu" "match"