diff options
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/test4.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ci/test4.sh b/ci/test4.sh index 2a8b1497..52fc053d 100755 --- a/ci/test4.sh +++ b/ci/test4.sh @@ -2,9 +2,6 @@ set -eux -# Force travis to create a git HEAD otherwise common operations don't work -git checkout -B current - # Starting from scratch... git clean -xdf |