From 260ef1e43d6ef2834ad69b369f9ab1e5c37e15e4 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Fri, 20 Jan 2012 11:39:41 -0500
Subject: [PATCH] Move the dmg build to weatherwax (which can now deal with it.
 )

Also, remove attempt for a smart use of `fmt' -- the problem is that now
"$platform" is not set, so the conditional didn't do anything.  It would
be easy to get a conditional using `uname', but better to drop the whole
thing.
(cherry picked from commit 2a1464b49ee06a85a269dfc94ffb8abe590858f3)
---
 collects/meta/build/build | 17 +++++------------
 1 file changed, 5 insertions(+), 12 deletions(-)

diff --git a/collects/meta/build/build b/collects/meta/build/build
index b2268d4ebc..f2f2c833d1 100755
--- a/collects/meta/build/build
+++ b/collects/meta/build/build
@@ -53,7 +53,7 @@ workmachine="winooski"
 maindir="/home/scheme"
 
 # machines for specific installer creations
-dmgmachine="kauai"
+dmgmachine="weatherwax"
 nsismachine="pitcairn"
 
 # list of environment variables that should be carried over to ssh jobs
@@ -479,17 +479,10 @@ show() {
   if [[ "x$1" = "x-s" ]]; then shift; write_status "$*"; fi
   if [[ "$verbose" = "yes" ]]; then
     echo ""
-    case "$platform" in
-      ( *"-linux"* | "sparc-solaris" | *"-win32" )
-        echo ">>> $*" | fmt -t -w 79
-        ;;
-      ( *"-freebsd" | *"-osx-mac" | *"-darwin" )
-        echo ">>> $*" | fmt -w 79
-        ;;
-      ( * )
-        echo ">>> $*" | fmt
-        ;;
-    esac
+    # It would be nice to use something like
+    #   echo ">>> $*" | fmt -p '>>>' -w 79
+    # but on osx fmt doesn't do that kind of stuff
+    echo ">>> $*"
   fi
 }