# Test for #7215, a recompilation bug

test('recomp012', [], makefile_test, [])