diff options
Diffstat (limited to 'CIAO/ciao/Servants/Servants.mpc')
| -rw-r--r-- | CIAO/ciao/Servants/Servants.mpc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CIAO/ciao/Servants/Servants.mpc b/CIAO/ciao/Servants/Servants.mpc index 886ba5da90b..eb3f7b93f64 100644 --- a/CIAO/ciao/Servants/Servants.mpc +++ b/CIAO/ciao/Servants/Servants.mpc @@ -16,6 +16,7 @@ project(CIAO_Servant_Impl) : install, ciao_container_base_stub, ccm_svnt, ccm_se Home_Servant_Impl_T.cpp Connector_Servant_Impl_Utils_T.cpp Servant_Impl_Utils_T.cpp + Facet_Servant_Base_T.cpp } Header_Files { @@ -25,10 +26,10 @@ project(CIAO_Servant_Impl) : install, ciao_container_base_stub, ccm_svnt, ccm_se Home_Servant_Impl_T.h Servant_Impl_Base.h StandardConfigurator_Impl.h + Facet_Servant_Base_T.h } specific { install_dir = ciao/Servants } - } |