diff options
Diffstat (limited to 'ci/lint/06_script.sh')
| -rwxr-xr-x | ci/lint/06_script.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/lint/06_script.sh b/ci/lint/06_script.sh index fa28f6126c..ccde12a033 100755 --- a/ci/lint/06_script.sh +++ b/ci/lint/06_script.sh @@ -6,6 +6,8 @@ export LC_ALL=C +set -ex + if [ -n "$LOCAL_BRANCH" ]; then # To faithfully recreate CI linting locally, specify all commits on the current # branch. |