CI: Travis: env: global: add: setting: enableExecutableProfiling

M  .travis.yml
This commit is contained in:
Anton-Latukha 2020-05-27 17:22:34 +03:00
parent f6f68a7bc0
commit baeb00385d
No known key found for this signature in database
GPG Key ID: 3D84C07E91802E41
1 changed files with 1 additions and 0 deletions

View File

@ -65,6 +65,7 @@ env:
- doCheck=true
# NOTE: doBenchmark: Dependency checking + compilation and execution for benchmarks listed in the package description file.
- doBenchmark=false
- enableExecutableProfiling=false
matrix:
- GHCVERSION=ghc865 STRICT=false TRACING=false