use the local do_build script

[next-scripts] / do_revert

diff --git a/do_revert b/do_revert
index 965f27a86f2fca0a4f801630d465b543edc8b82b..a66225b605a784ac896ce70a88563b5e964d26d3 100755 (executable)
--- a/do_revert
+++ b/do_revert
@@ -1,9 +1,10 @@
 #!/bin/bash
 
+bin_dir="$(dirname $0)"
+
 LOG_FILE="../merge.log"
 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"
 
@@ -48,7 +49,7 @@ git push -f "$build_host":"$build_dir" master:refs/heads/next || {
        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
 }