Testsuite: put extra_run_opts last on command line
authorThomas Miedema <thomasmiedema@gmail.com>
Tue, 30 Jun 2015 08:57:19 +0000 (10:57 +0200)
committerThomas Miedema <thomasmiedema@gmail.com>
Tue, 30 Jun 2015 10:10:47 +0000 (12:10 +0200)
commit6b9fc657ec561e7b96c93d9fe79da5a5e1b013ed
treed9475892f41e4ec7779325ea35a62431320efe94
parent897a46c16756060d2b924ec0953de140060592c7
Testsuite: put extra_run_opts last on command line

Some tests use the format: extra_run_opts('+RTS foo') (without closing
-RTS). Make it clear in testlib.py that this should work.
testsuite/driver/testlib.py