From e1f7ee507a287e0bbb78724cbbedd56e86b5aa1e Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 7 Aug 2008 05:57:25 +0000 Subject: [PATCH] Moved time-keystrokes to tests/drscheme svn: r11120 --- collects/drscheme/info.ss | 8 ++++---- .../private => tests/drscheme}/time-keystrokes.ss | 0 collects/tests/info.ss | 6 +++--- 3 files changed, 7 insertions(+), 7 deletions(-) rename collects/{drscheme/private => tests/drscheme}/time-keystrokes.ss (100%) diff --git a/collects/drscheme/info.ss b/collects/drscheme/info.ss index 9f6556b3cd..9786880b1f 100644 --- a/collects/drscheme/info.ss +++ b/collects/drscheme/info.ss @@ -1,6 +1,6 @@ #lang setup/infotab -(define tools (list "syncheck.ss" (list "time-keystrokes.ss" "private"))) -(define tool-names (list "Check Syntax" "Time Keystrokes")) -(define mred-launcher-names (list "DrScheme")) -(define mred-launcher-libraries (list "drscheme.ss")) +(define tools '("syncheck.ss")) +(define tool-names '("Check Syntax")) +(define mred-launcher-names '("DrScheme")) +(define mred-launcher-libraries '("drscheme.ss")) diff --git a/collects/drscheme/private/time-keystrokes.ss b/collects/tests/drscheme/time-keystrokes.ss similarity index 100% rename from collects/drscheme/private/time-keystrokes.ss rename to collects/tests/drscheme/time-keystrokes.ss diff --git a/collects/tests/info.ss b/collects/tests/info.ss index 63eca4a82c..d1272761b4 100644 --- a/collects/tests/info.ss +++ b/collects/tests/info.ss @@ -1,10 +1,10 @@ #lang setup/infotab (define name "Test Suites") -(define tools '(("tool.ss" "drscheme"))) -(define tool-names '("DrScheme Test Suites")) +(define tools '(("tool.ss" "drscheme") ("time-keystrokes.ss" "drscheme"))) +(define tool-names '("DrScheme Test Suites" "Time Keystrokes")) -(define compile-omit-paths +(define compile-omit-paths '("aligned-pasteboard" "honu" "match"