diff options
Diffstat (limited to 'tcwg-upstream2gerrit.sh')
| -rwxr-xr-x | tcwg-upstream2gerrit.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tcwg-upstream2gerrit.sh b/tcwg-upstream2gerrit.sh index c446b207..03c5b893 100755 --- a/tcwg-upstream2gerrit.sh +++ b/tcwg-upstream2gerrit.sh @@ -2,6 +2,7 @@ set -ef -o pipefail +# shellcheck source=jenkins-helpers.sh . "$(dirname $0)"/jenkins-helpers.sh convert_args_to_variables "$@" @@ -124,7 +125,7 @@ if $filter; then wanted2=0 # Search the same strings with '_' prefix or suffix, excluding string with 'parm' egrep '^[-+]' /tmp/mydiff.$$ | egrep -i '_arm|arm_|_thumb|thumb_|_aarch64|aarch64_' | grep -v -i 'parm' || wanted2=$? - if [ $wanted1 -eq 0 -o $wanted2 -eq 0 ] + if [ $wanted1 -eq 0 ] || [ $wanted2 -eq 0 ] then keepit=true else |