Commit b75b809f authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Add a test for en/disabling RTS options

parent 8778f535
......@@ -484,3 +484,15 @@ shared001:
$(RM) 3674*.o 3674*.hi 3674_pre
"$(TEST_HC)" --make 3674_pre.hs
"$(TEST_HC)" --make 3674.hs
.PHONY: rtsOpts
rtsOpts:
$(RM) rtsOpts$(exeext) rtsOpts.hi rtsOpts.o
"$(TEST_HC)" -v0 --make rtsOpts
echo "Normal"
-./rtsOpts +RTS -C0 2>&1
$(RM) rtsOpts$(exeext) rtsOpts.hi rtsOpts.o
"$(TEST_HC)" -v0 --make rtsOpts -no-rtsopts
echo "No RTS opts"
-./rtsOpts +RTS -C0 2>&1
......@@ -331,3 +331,7 @@ test('dynHelloWorld',
test('2464', normal, compile, [''])
test('3674', ignore_output, run_command,
['$MAKE -s --no-print-directory 3674'])
test('rtsOpts', normal, run_command,
['$MAKE -s --no-print-directory rtsOpts'])
Normal
No RTS opts
rtsOpts: RTS options are disabled
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment