Merge remote-tracking branch 'upstream/master'

2018-11-19 14:33:49 -02:00
parent 97c9152acb a4c1389966
commit c12afea3d4
6 changed files with 64 additions and 60 deletions
--- a/.travis.yml
+++ b/.travis.yml
@@ -22,6 +22,6 @@ before_install:
 script:
  - runghc Make.hs build prelude all --verbose
  - rm -rf dist
-  - bash Make.sh --dest=dist-bash --verbose
-  - rm -rf dist
+  - mkdir dist-bash ; bash Make.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