From ce890ef40ec9a88b0cc93d8628e2fd152c36395d Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 10 Dec 2010 08:35:37 -0500 Subject: [PATCH] No need for xvnc on windows --- collects/meta/build/build | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/meta/build/build b/collects/meta/build/build index 3229fd38fc..545df0a88f 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -1225,9 +1225,9 @@ DO_BUILD() { # inputs -- releasing # GRacket-based tests on the main machine, in an Xvnc session if [[ "$test_gui" = "yes" ]]; then separator "${machine}(${platform}) testing DrRacket" - _start_xvnc + if [[ "$platform" != *"-win32" ]]; then _start_xvnc; fi dont_exit _timeout_run 60 env HOME="$testdir" "$PLTHOME/$drtestscript" - _end_xvnc + if [[ "$platform" != *"-win32" ]]; then _end_xvnc; fi fi ## --------------------------------------------------------------------------