#!/bin/bash
+bin_dir="$(dirname $0)"
+
LOG_FILE="../merge.log"
SHA1_FILE="../SHA1s"
build_host="ka2"
build_dir="/scratch/sfr/next"
-build_cmd="bin/build_next"
[ "$NEXT_BUILD_HOST" ] && build_host="$NEXT_BUILD_HOST"
[ "$NEXT_BUILD_DIR" ] && build_dir="$NEXT_BUILD_DIR"
echo git push failed 1>&2
bash -i || exit
}
- ssh "$build_host" "$build_cmd" || {
+ "$bin_dir/do_build" || {
echo Build failed 1>&2
bash -i || exit
}
echo git push failed 1>&2
bash -i || exit
}
- ssh "$build_host" "$build_cmd" || {
+ "$bin_dir/do_build" || {
echo Build failed 1>&2
bash -i || exit
}