fixed naming bug in CI

forsyde · Dec 27, 2018 · a14b8ae · a14b8ae
1 parent 5c949b4
commit a14b8ae
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -39,8 +39,8 @@ script:
  - cabal check
  - cabal sdist   # tests that a source-distribution can be generated
  - cabal test
- - echo "Test log" dist/test/ForSyDe-Deep*-examples.log
- - cat dist/test/ForSyDe-Deep*-examples.log
+ - echo "Test log" dist/test/forsyde-deep*-examples.log
+ - cat dist/test/forsyde-deep*-examples.log
 # Check that the resulting source distribution can be built & installed.
 # If there are no other `.tar.gz` files in `dist`, this can be even simpler:
 # `cabal install --force-reinstalls dist/*-*.tar.gz`