diff options
| author | Andor Penzes <andor.penzes@gmail.com> | 2015-12-17 21:33:11 +0100 |
|---|---|---|
| committer | Andor Penzes <andor.penzes@gmail.com> | 2015-12-17 21:33:18 +0100 |
| commit | 5b3eeba8aa2b48b59cd135f1a51c3d7a1d900ce5 (patch) | |
| tree | bbf3a08254daa9bb4b95fd3cf436ae365deb7640 /.gitignore | |
| parent | b27affa88c1330654e44ba645d5a0438af499e2a (diff) | |
Add profiling option to the run-test-suite.sh
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
| @@ -3,3 +3,7 @@ | |||
| 3 | dist | 3 | dist |
| 4 | *.hi | 4 | *.hi |
| 5 | *.o | 5 | *.o |
| 6 | lambdacube-compiler-test-suite.prof | ||
| 7 | lambdacube-compiler-test-suite.tix | ||
| 8 | *cabal-sandbox* | ||
| 9 | *cabal.sandbox* | ||