From 2f0f24929938c732cdece4dabea9dfa4532d3933 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 14 Nov 2009 15:54:33 +0000 Subject: [PATCH] skip setup-plt compilation in 2htdp tests svn: r16771 --- collects/tests/info.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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"