blob: 178814fff3ad26442b27bdbcc3efd4484e12a6ce (
plain)
1
2
3
4
5
6
7
8
|
test('T12010',
[
extra_clean(['cbits/initWinSock.o', 'T12010.hi', 'T12010.hs']),
only_ways(['threaded1']),
extra_ways(['threaded1']),
cmd_prefix('WAY_FLAGS="' + ' '.join(config.way_flags('T12010')['threaded1']) + '"')],
run_command,
['$MAKE -s --no-print-directory T12010'])
|