diff options
Diffstat (limited to 'TAO/CIAO/DAnCE/RepositoryManager/RepositoryManager.mpc')
| -rw-r--r-- | TAO/CIAO/DAnCE/RepositoryManager/RepositoryManager.mpc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/TAO/CIAO/DAnCE/RepositoryManager/RepositoryManager.mpc b/TAO/CIAO/DAnCE/RepositoryManager/RepositoryManager.mpc index ffb391133e3..0209fa2ac5e 100644 --- a/TAO/CIAO/DAnCE/RepositoryManager/RepositoryManager.mpc +++ b/TAO/CIAO/DAnCE/RepositoryManager/RepositoryManager.mpc @@ -3,6 +3,7 @@ project(Repository_Manager): ciao_server_dnc,ciao_deployment_svnt, ciao_deployment_stub, taoexe { exename = executor + requires += exceptions after += Config_Handlers ExecutionManager_stub NodeDaemon_stub macros += XML_USE_PTHREADS includes += /usr/include $(XERCESCROOT)/include |