From 2a1464b49ee06a85a269dfc94ffb8abe590858f3 Mon Sep 17 00:00:00 2001 From: Eli Barzilay 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. --- 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 51a2227a05..a43d0b0183 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 @@ -481,17 +481,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 }