Show More
@@ -1,7 +1,8 | |||||
1 | #!/bin/sh |
|
1 | #!/bin/bash | |
2 |
|
2 | |||
3 | set -e |
|
3 | set -e | |
4 | set -u |
|
4 | set -u | |
|
5 | set -o pipefail | |||
5 |
|
6 | |||
6 | cd "$(hg root)" |
|
7 | cd "$(hg root)" | |
7 |
|
8 |
@@ -442,7 +442,7 check-pytype: | |||||
442 | - ./contrib/setup-pytype.sh |
|
442 | - ./contrib/setup-pytype.sh | |
443 | script: |
|
443 | script: | |
444 | - echo "Entering script section" |
|
444 | - echo "Entering script section" | |
445 | - sh contrib/check-pytype.sh |
|
445 | - bash contrib/check-pytype.sh | |
446 |
|
446 | |||
447 | # `sh.exe --login` sets a couple of extra environment variables that are defined |
|
447 | # `sh.exe --login` sets a couple of extra environment variables that are defined | |
448 | # in the MinGW shell, but switches CWD to /home/$username. The previous value |
|
448 | # in the MinGW shell, but switches CWD to /home/$username. The previous value |
General Comments 0
You need to be logged in to leave comments.
Login now