diff --git a/collects/meta/build/build b/collects/meta/build/build index d743474c6b..4c7d1677e6 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -104,7 +104,8 @@ defbuild "ccs-linux" "i386-linux-ubuntu-karmic" "moveto=/proj/racket" defbuild "blisses1" "x86_64-linux-debian-lenny" defbuild "blisses2" "x86_64-linux-debian-squeeze" # And this is from Stephen De Gabrielle -defbuild "osx64" "x86_64-osx-mac" +# --- skipped for now, since the machine apparently has an issue with `curl' +# defbuild "osx64" "x86_64-osx-mac" # Start the main build last defbuild "$workmachine" "x86_64-linux-f14" "copytobak=$maindir" "test_gui=yes" msets "/"