diff options
| author | Andor Penzes <andor.penzes@gmail.com> | 2016-01-18 10:43:36 +0100 |
|---|---|---|
| committer | Andor Penzes <andor.penzes@gmail.com> | 2016-01-18 10:44:12 +0100 |
| commit | 32a245614720e3ad75b0c65433e115ab140aedec (patch) | |
| tree | b41566a69408d3c5675c7e1373c08486dd220622 /Makefile | |
| parent | 4caebb5b327c63f8798a3b0926d3a03ed5c4c3e1 (diff) | |
add profile and coverage testing option to Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
| @@ -4,3 +4,9 @@ all: | |||
| 4 | 4 | ||
| 5 | repl: | 5 | repl: |
| 6 | cd test && ghci -i../src runTests.hs | 6 | cd test && ghci -i../src runTests.hs |
| 7 | |||
| 8 | coverage: | ||
| 9 | ./run-test-suite.sh --coverage | ||
| 10 | |||
| 11 | profile: | ||
| 12 | ./run-test-suite.sh --profile | ||