diff options
Diffstat (limited to 'Conductor/Conductor.mpc')
| -rw-r--r-- | Conductor/Conductor.mpc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Conductor/Conductor.mpc b/Conductor/Conductor.mpc index e2cd6a3db0d..ea1f3db99c3 100644 --- a/Conductor/Conductor.mpc +++ b/Conductor/Conductor.mpc @@ -105,7 +105,7 @@ project(Conductor_exec) : ciao_executor, ciao_config_handlers, race_common { } -project(Conductor_svnt) : ciao_servant, race_common { +project(Conductor_svnt) : ciao_servant, race_common, dance_deployment_stub { avoids += ace_for_tao after += Conductor_exec |