make this test THREADS friendly

parent a94d60a5
......@@ -37,3 +37,5 @@ cabal01:
echo dist:
ls dist
$(GHC_PKG_INPLACE) unregister test
if [ "$(CLEANUP)" != "" ]; then $(MAKE) clean; fi
......@@ -5,8 +5,12 @@ if config.have_profiling:
else:
prof = ''
if default_testopts.cleanup != '':
cleanup = 'CLEANUP=1'
else:
cleanup = ''
test('cabal01',
normal,
run_command, ['$MAKE -s --no-print-directory cabal01 PROF=' + prof])
if default_testopts.cleanup != '':
runCmd('$MAKE -C ' + in_testdir('') + ' clean')
run_command,
['$MAKE -s --no-print-directory cabal01 PROF=' + prof + ' ' + cleanup])
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