Set permissions of hie
authorLuke Lau <luke_lau@icloud.com>
Tue, 7 Aug 2018 15:33:58 +0000 (16:33 +0100)
committerLuke Lau <luke_lau@icloud.com>
Tue, 7 Aug 2018 15:33:58 +0000 (16:33 +0100)
.download-hie.sh
.gitignore

index f762066b6d1c0e77a20254491272a6065c800b43..a502b1601f020c42786910b553442905fa8c23a0 100644 (file)
@@ -3,3 +3,4 @@ case `ghc --version` in
        *8.4.3*) wget https://877-129435383-gh.circle-artifacts.com/0/bin/hie;;
        *8.2.2*) wget https://878-129435383-gh.circle-artifacts.com/0/bin/hie;;
 esac
+chmod u+x hie
index 21a619508fe5119a0b25209eaed928395ab3196d..b057681729a1b050fbeb1191b01f9e355558d9fa 100644 (file)
@@ -15,3 +15,6 @@ example/.ghc.environment.*
 
 # used for rerunning failed hspec tests
 .hspec-failures
+
+# downloaded by .download-hie.sh on travis
+hie