diff options
Diffstat (limited to 'ciao_core_2/CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc')
-rw-r--r-- | ciao_core_2/CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ciao_core_2/CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc b/ciao_core_2/CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc index 736eaa5f885..2e2ce4693eb 100644 --- a/ciao_core_2/CIAO/DAnCE/ExecutionManager/ExecutionManager.mpc +++ b/ciao_core_2/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 { +project(ExecutionManager): ciao_server_dnc, dance_extension_stub, ciao_domainapplicationmanager_dnc, ciao_executionmanager_stub, ciaoexe { exename = Execution_Manager IDL_Files { |