Add -MF to GCC invocation to make ccache happy on Fedora Core 6.
[pintos-anon] / src / tests / main.h
1 #ifndef TESTS_MAIN_H
2 #define TESTS_MAIN_H
3
4 void test_main (void);
5
6 #endif /* tests/main.h */