diff options
-rwxr-xr-x | test-backport.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-backport.sh b/test-backport.sh index 192a0608..43b971a4 100755 --- a/test-backport.sh +++ b/test-backport.sh @@ -177,7 +177,7 @@ while test $i -lt ${#revisions[@]}; do continue fi - bash -x ${topdir}/abe.sh ${gerrit} --disable update --check ${platform} gcc=gcc.git@${revisions[$i]} --build all --disable make_docs + bash -x ${topdir}/abe.sh ${gerrit} --disable update ${platform} gcc=gcc.git@${revisions[$i]} --build all --disable make_docs --check if test $? -gt 0; then echo "ERROR: Abe failed!" exit 1 |