From d1f6b6734b7e31e13959061fa7bf376590567995 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 15 May 2008 20:01:32 +0000 Subject: [PATCH] avoid redundant deletions when re-running setup-plt svn: r9859 --- collects/profj/libs/java/tester/info.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/profj/libs/java/tester/info.ss b/collects/profj/libs/java/tester/info.ss index 52b20ab1dd..d1c30e3152 100644 --- a/collects/profj/libs/java/tester/info.ss +++ b/collects/profj/libs/java/tester/info.ss @@ -1,3 +1,4 @@ #lang setup/infotab +(define assume-virtual-sources #t) ;; (define install-collection "installer.ss")