Show More
@@ -1,7 +1,8 | |||
|
1 | #!/bin/sh | |
|
1 | #!/bin/bash | |
|
2 | 2 | |
|
3 | 3 | set -e |
|
4 | 4 | set -u |
|
5 | set -o pipefail | |
|
5 | 6 | |
|
6 | 7 | cd "$(hg root)" |
|
7 | 8 |
@@ -442,7 +442,7 check-pytype: | |||
|
442 | 442 | - ./contrib/setup-pytype.sh |
|
443 | 443 | script: |
|
444 | 444 | - echo "Entering script section" |
|
445 | - sh contrib/check-pytype.sh | |
|
445 | - bash contrib/check-pytype.sh | |
|
446 | 446 | |
|
447 | 447 | # `sh.exe --login` sets a couple of extra environment variables that are defined |
|
448 | 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