From 9d4d514d582065c561c6c8477e836a527264b001 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 9 Dec 2010 11:09:56 -0500 Subject: [PATCH] Use the worksp10 files --- collects/meta/build/build | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/collects/meta/build/build b/collects/meta/build/build index 30abc55cb7..269d58bc01 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -1346,6 +1346,14 @@ DO_WIN32_BUILD() { # done # IFS="$SAVED_IFS" + separator "win63: Use new .sln files" + local SAVED_IFS="$IFS"; IFS=$'\n' + local file + for file in $(find "$PLTHOME/src/worksp10") -type f; do + _cp "$file" "${file//worksp10/worksp}" + done + IFS="$SAVED_IFS" + separator "win32: Full build" build_w32step VSNET "racket" build_w32step VSNET "gracket"