blob: 56a4d3ceb3ae8d4d670645435ae73d2a8bd3b92d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
if config.cleanup:
cleanup = 'CLEANUP=1'
else:
cleanup = 'CLEANUP=0'
test('different-db',
[ extra_files(['p/', 'q/', 'r/', 'p1/', 'unitP', 'unitQ', 'unitR', 'unitP1', 'Setup.hs'])
, js_broken(22356)
],
run_command,
['$MAKE -s --no-print-directory different-db ' + cleanup])
|
