diff options
Diffstat (limited to 'modules/CIAO/ciao/Servants/Servants.mpc')
| -rw-r--r-- | modules/CIAO/ciao/Servants/Servants.mpc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/modules/CIAO/ciao/Servants/Servants.mpc b/modules/CIAO/ciao/Servants/Servants.mpc index b9187986b01..634878a9a85 100644 --- a/modules/CIAO/ciao/Servants/Servants.mpc +++ b/modules/CIAO/ciao/Servants/Servants.mpc @@ -22,6 +22,8 @@ project(CIAO_Port_Activator_stub) : install, portableserver, ciao_lib { CIAO_Port_ActivatorC.cpp } Header_Files { + CIAO_Port_ActivatorC.h + CIAO_Port_ActivatorS.h } specific { install_dir = ciao/Servants |