blob: 5661d6a0172f430a2a22d1063404a01c5d68b1da (
plain)
1
2
3
4
5
6
7
8
9
|
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']),
run_command,
['$MAKE -s --no-print-directory different-db ' + cleanup])
|