Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
contrib/jenkins.sh: execute this script with -x and -e
-x Print commands and their arguments as they are executed -e Exit immediately if a command exits with a non-zero status Change-Id: I13af70ef770936bec00b050b6c4f988e53ee2833
- Loading branch information