diff options
Diffstat (limited to 'CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc')
-rw-r--r-- | CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc b/CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc index 76d8d1e6b34..57736b7ca21 100644 --- a/CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc +++ b/CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc @@ -1,7 +1,7 @@ // -*- MPC -*- // $Id$ -project(ExecutionManager): ciao_server_dnc, dance_extension_stub, ciao_domainapplicationmanager_dnc, ciao_executionmanager_stub, rtcorba, rtportableserver, rt_server, ciaoexe { +project(ExecutionManager): ciao_server_dnc, dance_extension_stub, ciao_domainapplicationmanager_dnc, ciao_executionmanager_stub, rtcorba, rtportableserver, rt_server, ciaoexe, rtcorba { exename = Execution_Manager after += TAO_Strategies |