Merge remote branch 'origin/master' into shapedet

[eurobot/public.git] / src / robofsm / Makefile.omk

diff --git a/src/robofsm/Makefile.omk b/src/robofsm/Makefile.omk
index c7795d9f82e0158389fd3908ee27993394e765aa..a798acec2f5035e7567230d1b0dbcf468147c389 100644 (file)
--- a/src/robofsm/Makefile.omk
+++ b/src/robofsm/Makefile.omk
@@ -7,8 +7,8 @@ default_CONFIG = CONFIG_LOCK_CHECKING=n HAVE_PRIO_INHERIT=y
 config_include_HEADERS = robot_config.h
 robot_config_DEFINES = CONFIG_LOCK_CHECKING HAVE_PRIO_INHERIT
 
-#bin_PROGRAMS += demo
-#demo_SOURCES = demo.cc
+bin_PROGRAMS += homologation
+homologation_SOURCES = homologation.cc
 
 # Library with general support functions for the robot
 lib_LIBRARIES += robot