@@ -95,7 +95,10 @@ if STARPU_COVERAGE_ENABLED
TESTS += coverage/coverage.sh
endif
+starpu_machine_display_SOURCES = ../tools/starpu_machine_display.c
+
noinst_PROGRAMS = \
+ starpu_machine_display \
core/restart \
core/execute_on_a_specific_worker \
core/insert_task \