diff options
Diffstat (limited to 'Utilities/Release/release_dispatch.sh')
-rwxr-xr-x | Utilities/Release/release_dispatch.sh | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/Utilities/Release/release_dispatch.sh b/Utilities/Release/release_dispatch.sh deleted file mode 100755 index 7f6da77..0000000 --- a/Utilities/Release/release_dispatch.sh +++ /dev/null @@ -1,37 +0,0 @@ -#!/bin/sh - -MACHINES="" -MACHINES="${MACHINES} naboo" -MACHINES="${MACHINES} dashsun1" -MACHINES="${MACHINES} midworld" -MACHINES="${MACHINES} muse" -MACHINES="${MACHINES} destiny" - -run() -{ - CMD="'$1'"; shift; for i in "$@"; do CMD="${CMD} '$i'"; done - eval "$CMD" -} - -clean() -{ - for m in $MACHINES; do - ./cmake_release.sh remote $m clean - done -} - -binary() -{ - for m in $MACHINES; do - nohup ./cmake_release.sh remote_binary $m >$m.log 2>&1 & - done -} - -logs() -{ - for m in $MACHINES; do - nohup xterm -geometry 80x10 -title "$m" -e tail -f $m.log >/dev/null 2>&1 & - done -} - -[ ! -z "$1" ] && run "$@" |