From 206e437ff37c9ffb01fa249c907d67539417a5c9 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 3 Mar 2008 22:04:28 +0000 Subject: [PATCH] revise the way setup-plt crawls over the collection trees svn: r8860 original commit: b76390a4523dd523febeab8f432f0341b6a2d040 --- collects/embedded-gui/info.ss | 1 - collects/mrlib/private/aligned-pasteboard/info.ss | 3 +++ collects/web-server/tests/info.ss | 3 +++ 3 files changed, 6 insertions(+), 1 deletion(-) delete mode 100644 collects/embedded-gui/info.ss create mode 100644 collects/mrlib/private/aligned-pasteboard/info.ss create mode 100644 collects/web-server/tests/info.ss diff --git a/collects/embedded-gui/info.ss b/collects/embedded-gui/info.ss deleted file mode 100644 index c14a2ca4..00000000 --- a/collects/embedded-gui/info.ss +++ /dev/null @@ -1 +0,0 @@ -#lang setup/infotab diff --git a/collects/mrlib/private/aligned-pasteboard/info.ss b/collects/mrlib/private/aligned-pasteboard/info.ss new file mode 100644 index 00000000..865edce1 --- /dev/null +++ b/collects/mrlib/private/aligned-pasteboard/info.ss @@ -0,0 +1,3 @@ +#lang setup/infotab + +(define compile-omit-paths '("tests")) diff --git a/collects/web-server/tests/info.ss b/collects/web-server/tests/info.ss new file mode 100644 index 00000000..a073420a --- /dev/null +++ b/collects/web-server/tests/info.ss @@ -0,0 +1,3 @@ +#lang setup/infotab + +(define compile-omit-paths 'all)