Commit 25bd5de9 authored by Ian Lynagh's avatar Ian Lynagh

MERGED: Add req_profiling to the driver

parent 8f14bd6b
......@@ -24,6 +24,7 @@ if (ghc_with_native_codegen == 1):
config.run_ways.append('optasm')
if (ghc_with_profiling == 1):
config.have_profiling = True
config.compile_ways.append('profc')
config.run_ways.append('profc')
if (ghc_with_native_codegen == 1):
......
......@@ -61,6 +61,9 @@ class TestConfig:
self.way_flags = {}
self.way_rts_flags = {}
# Do we have profiling support?
self.have_profiling = False
# the timeout program
self.timeout_prog = ''
self.timeout = 300
......
......@@ -80,6 +80,10 @@ def _reqlib( opts, lib ):
if r != 0:
opts.expect = 'fail'
def req_profiling( opts ):
if not config.have_profiling:
opts.expect = 'fail'
def expect_broken( bug ):
return lambda opts, b=bug: _expect_broken (opts, b )
......
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