chore: fix a CI script to 'properly fail' on Windows (#1270)

This commit is contained in:
Andrew Scheller 2017-04-10 15:06:32 +01:00 committed by Juan Cruz Viotti
parent 19dd2834fb
commit 07dad2a0ef

View File

@ -114,6 +114,9 @@ git ls-tree -r HEAD | while IFS='' read line; do
exit 1
fi
done
# see http://unix.stackexchange.com/a/213112
err=$?
if [[ $err -ne 0 ]]; then exit $err; fi
fi
fi
done