diff options
Diffstat (limited to 'testsuite/tests/rts/Makefile')
-rw-r--r-- | testsuite/tests/rts/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/rts/Makefile b/testsuite/tests/rts/Makefile index 496e04e825..08d2051891 100644 --- a/testsuite/tests/rts/Makefile +++ b/testsuite/tests/rts/Makefile @@ -200,3 +200,15 @@ KeepCafsFail: .PHONY: KeepCafs KeepCafs: "${MAKE}" KeepCafsFail KEEPCAFS=-fkeep-cafs + +.PHONY: EventlogOutput1 +EventlogOutput1: + "$(TEST_HC)" -eventlog -v0 EventlogOutput.hs + ./EventlogOutput +RTS -l -olhello.eventlog + ls hello.eventlog >/dev/null + +.PHONY: EventlogOutput2 +EventlogOutput2: + "$(TEST_HC)" -eventlog -v0 EventlogOutput.hs + ./EventlogOutput +RTS -l + ls EventlogOutput.eventlog >/dev/null |