CI: Fix bad reporting of status by the verification pub

Change-Id: I6f31a130b3ba0187149aaaa2ce94195a79e0f6a6
This commit is contained in:
George Joseph
2018-07-16 07:44:25 -06:00
parent b8d75bbb37
commit 9633e9dfd7
3 changed files with 46 additions and 21 deletions

View File

@@ -3,6 +3,7 @@
# and can be "source"d from the scripts.
#
declare -a POSITIONAL_ARGS
for a in "$@" ; do
OPTION_COUNT+=1
case "$a" in
@@ -17,6 +18,9 @@ for a in "$@" ; do
l=${BASH_REMATCH[1]//-/_}
eval ${l^^}=1
;;
*)
POSITIONAL_ARGS+=($a)
;;
esac
done