diff options
Diffstat (limited to 'Planners/Base/Planner.mpc')
| -rw-r--r-- | Planners/Base/Planner.mpc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Planners/Base/Planner.mpc b/Planners/Base/Planner.mpc index 1bb0de6ba91..00b6f757657 100644 --- a/Planners/Base/Planner.mpc +++ b/Planners/Base/Planner.mpc @@ -1,4 +1,4 @@ -project(Planner_stub): ciao_deployment_stub, ciao_race_component, race_idl { +project(Planner_stub): dance_deployment_stub, ciao_race_component, race_idl { after += Planner_Interface_stub RACE_common_stub sharedname = Planner_stub @@ -27,7 +27,7 @@ project(Planner_stub): ciao_deployment_stub, ciao_race_component, race_idl { } } -project(Planner_svnt) : ciao_servant_dnc, ciao_race_component , race_common { +project(Planner_svnt) : ciao_servant, ciao_race_component , race_common { after += Planner_Interface_svnt Planner_stub sharedname = Planner_svnt |