Fix CI (#489)
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Mon, 11 Dec 2017 21:43:25 +0000 (21:43 +0000)
committerGitHub <noreply@github.com>
Mon, 11 Dec 2017 21:43:25 +0000 (21:43 +0000)
Delete the .git folder explicitly

.travis.yml
circle.yml

index b89f42b..63b3e31 100644 (file)
@@ -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
index e9a4b6a..f04f4c7 100644 (file)
@@ -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