diff options
| -rw-r--r-- | .travis-build.sh | 1 | ||||
| -rw-r--r-- | .travis-deps.sh | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.travis-build.sh b/.travis-build.sh index 78e7583a8..b869b8b8f 100644 --- a/.travis-build.sh +++ b/.travis-build.sh | |||
| @@ -1,6 +1,7 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | 2 | ||
| 3 | set -e | 3 | set -e |
| 4 | set -x | ||
| 4 | 5 | ||
| 5 | #if OS is linux or is not set | 6 | #if OS is linux or is not set |
| 6 | if [ "$TRAVIS_OS_NAME" = linux -o -z "$TRAVIS_OS_NAME" ]; then | 7 | if [ "$TRAVIS_OS_NAME" = linux -o -z "$TRAVIS_OS_NAME" ]; then |
diff --git a/.travis-deps.sh b/.travis-deps.sh index b8e8417b2..c8a06e0a8 100644 --- a/.travis-deps.sh +++ b/.travis-deps.sh | |||
| @@ -1,6 +1,7 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | 2 | ||
| 3 | set -e | 3 | set -e |
| 4 | set -x | ||
| 4 | 5 | ||
| 5 | #if OS is linux or is not set | 6 | #if OS is linux or is not set |
| 6 | if [ "$TRAVIS_OS_NAME" = linux -o -z "$TRAVIS_OS_NAME" ]; then | 7 | if [ "$TRAVIS_OS_NAME" = linux -o -z "$TRAVIS_OS_NAME" ]; then |