From cc795ffcd2a61c161e65d5d49111d98617cffd78 Mon Sep 17 00:00:00 2001 From: Charlie Somerville Date: Thu, 17 Oct 2013 13:25:27 -0400 Subject: [PATCH] add script/deploy script --- script/deploy | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100755 script/deploy diff --git a/script/deploy b/script/deploy new file mode 100755 index 00000000000000..82f82214b713bb --- /dev/null +++ b/script/deploy @@ -0,0 +1,17 @@ +#!/bin/bash + +function try { + echo "$@" + if ! "$@" &> log; then + echo "*** '$@' FAILED" 1>&2 + cat log 1>&2 + exit 1 + fi +} + +cd "$(dirname "$0")/.." + +try autoconf +try ./configure --prefix=/data/ruby --disable-install-doc +try make -j 4 +try make install