From 5bf0f98fdff9ec190ff8a491638ca23147bec8cc Mon Sep 17 00:00:00 2001
From: Daniel Gröber <dxld@darkboxed.org>
Date: Mon, 18 Sep 2017 01:54:27 +0200
Subject: Fix CI build

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3141665..f396795 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,7 +18,7 @@ after_script:
   script:
     - echo $PWD
     - ghc-pkg list
-    - $CI_PROJECT_DIR/scripts/retry.sh cabal install -j2 --user --only-dependencies --force-reinstalls --enable-tests --enable-documentation
+    - $CI_PROJECT_DIR/scripts/retry.sh cabal install -j2 --user --only-dependencies --enable-tests --enable-documentation
     - which cabal
     - cabal --version
     - cabal configure --enable-tests
@@ -26,7 +26,7 @@ after_script:
     - ghc-pkg list
     - which cabal
     - cabal --version
-    - ./dist/build/spec/spec
+    - ./dist/build/compile-test/compile-test
     - cabal haddock
 
 job-ghc8.2.1-cabal-install2.0.0.0:
-- 
cgit v1.2.3