autobuild: added FORCE_BUILD for forcing a rebuild

rmackay9 · Jul 11, 2013 · 7461776 · 7461776
1 parent 619f60f
commit 7461776
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Tools/scripts/build_binaries.sh b/Tools/scripts/build_binaries.sh
@@ -35,6 +35,7 @@ checkout() {
 # check if we should skip this build because we have already
 # built this version
 skip_build() {
+    [ "$FORCE_BUILD" -eq "1" ] && return 1
     tag="$1"
     ddir="$2"
     bname=$(basename $ddir)