From 325ffb79a94248d02ebb470431095d69509a0f0c Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 28 Nov 2018 14:03:15 +0100 Subject: [PATCH] update the travis configuration as well --- .travis.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.travis.yml b/.travis.yml index 166b6815d..4dc3f3eb4 100644 --- a/.travis.yml +++ b/.travis.yml @@ -20,8 +20,8 @@ before_install: - if [[ "$TRAVIS_OS_NAME" == "windows" ]]; then alias gf='gf.exe' && alias runghc='runghc.exe' ; fi script: - - runghc Make.hs build prelude all --verbose + - runghc Setup.hs build prelude all --verbose - rm -rf dist - - mkdir dist-bash ; bash Make.sh --dest=dist-bash --verbose + - mkdir dist-bash ; bash Setup.sh --dest=dist-bash --verbose - rm -rf dist ; mkdir dist-bat - - if [[ "$TRAVIS_OS_NAME" == "windows" ]]; then cmd //c Make.bat --dest=dist-bat --verbose ; fi + - if [[ "$TRAVIS_OS_NAME" == "windows" ]]; then cmd //c Setup.bat --dest=dist-bat --verbose ; fi