# Test for #8247, a recompilation bug

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