diff options
-rw-r--r-- | CIAO/ciao/Servants/Servants.mpc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CIAO/ciao/Servants/Servants.mpc b/CIAO/ciao/Servants/Servants.mpc index e21497a8422..886ba5da90b 100644 --- a/CIAO/ciao/Servants/Servants.mpc +++ b/CIAO/ciao/Servants/Servants.mpc @@ -1,3 +1,5 @@ +// $Id$ + project(CIAO_Servant_Impl) : install, ciao_container_base_stub, ccm_svnt, ccm_session_stub, ciao_output, ciao_logger, ccm_direct_collocation { dynamicflags += CIAO_SERVANT_IMPL_BUILD_DLL IDL_Files { |