Commit 2609bd02 authored by Andrey Mokhov's avatar Andrey Mokhov Committed by GitHub

Fix CI (#489)

Delete the .git folder explicitly
parent d2e83f2a
......@@ -77,7 +77,7 @@ install:
- cabal install alex happy
# GHC comes with an older version of Hadrian, so we delete it
- rm -r ghc/hadrian/*
- rm -rf ghc/hadrian/.git
# Travis has already cloned Hadrian into ./ and we need to move it
# to ./ghc/hadrian -- one way to do it is to move the .git directory
......
......@@ -22,7 +22,7 @@ compile:
- git clone --depth 1 --recursive git://github.com/ghc/ghc
# GHC comes with an older version of Hadrian, so we delete it
- rm -r ghc/hadrian/*
- rm -rf ghc/hadrian/.git
# move hadrian's .git into ./ghc/hadrian and perform a hard reset in order to regenerate Hadrian files
- mv .git ghc/hadrian
# NOTE: we must write them in the same line because each line
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment