diff options
Diffstat (limited to 'TAO/MPC')
| -rw-r--r-- | TAO/MPC/config/rtportableserver.mpb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/TAO/MPC/config/rtportableserver.mpb b/TAO/MPC/config/rtportableserver.mpb index ee3d17fe942..ec458f8f6be 100644 --- a/TAO/MPC/config/rtportableserver.mpb +++ b/TAO/MPC/config/rtportableserver.mpb @@ -1,7 +1,7 @@ // -*- MPC -*- // $Id$ -project : pi, portableserver, rtcorba { +project : pi, portableserver, rtcorba, avoids_corba_e_micro { after += RTPortableServer libs += TAO_RTPortableServer } |