diff options
| -rwxr-xr-x | ci/test4.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ci/test4.sh b/ci/test4.sh index 137cec0e..3ce6c1c1 100755 --- a/ci/test4.sh +++ b/ci/test4.sh @@ -2,6 +2,9 @@ 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 |