Fix to depend on right file

diff --git a/platform/Makefile.inc b/platform/Makefile.inc
index 7639809d14b7da17300f7602ced750775359da34..c2472cafa18b46e1f99aae11e9b70d52fdcaf92e 100644 (file)
--- a/platform/Makefile.inc
+++ b/platform/Makefile.inc
@@ -57,6 +57,6 @@ commonclean:
        rm -f ${COMMONDIR}/pseudolinkstubs.c ${COMMONDIR}/pseudolinkstubs.o
 
 .PHONY: tests
-tests: ${OBJ_DIR}/rumprun.o commonlibs app-tools
+tests: ${MAINOBJ} commonlibs app-tools
        ../../tests/buildtests.sh ${PLATFORM}
        ../../tests/runtests.sh ${PLATFORM_DEFAULT_TESTER}