diff options
Diffstat (limited to 'CIAO/ciao/Base/CIAO_Base.mpc')
| -rw-r--r-- | CIAO/ciao/Base/CIAO_Base.mpc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CIAO/ciao/Base/CIAO_Base.mpc b/CIAO/ciao/Base/CIAO_Base.mpc index 581e172d591..6b4b0bb86f5 100644 --- a/CIAO/ciao/Base/CIAO_Base.mpc +++ b/CIAO/ciao/Base/CIAO_Base.mpc @@ -36,6 +36,7 @@ project(CIAO_Base_stub) : install, ciaolib_with_idl, ciao_output, \ } Header_Files { CIAO_PropertiesC.h + CIAO_ExceptionsC.h Server_init.h Client_init.h CIAO_Base_stub_export.h |