diff options
Diffstat (limited to 'CIAO/ciao/Deployment/Interceptors/CIAO_Deployment_Interceptors.mpc')
-rw-r--r-- | CIAO/ciao/Deployment/Interceptors/CIAO_Deployment_Interceptors.mpc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CIAO/ciao/Deployment/Interceptors/CIAO_Deployment_Interceptors.mpc b/CIAO/ciao/Deployment/Interceptors/CIAO_Deployment_Interceptors.mpc index 6e1dd990a85..f1fe5e0dabb 100644 --- a/CIAO/ciao/Deployment/Interceptors/CIAO_Deployment_Interceptors.mpc +++ b/CIAO/ciao/Deployment/Interceptors/CIAO_Deployment_Interceptors.mpc @@ -1,4 +1,3 @@ -// $Id$ project (CIAO_Deployment_Interceptors) : install, ciao_base, ciao_lib, ciao_output, \ naming, ciao_logger, dance_stub, dance_deployment_scheduler { dynamicflags += CIAO_DEPLOYMENT_INTERCEPTORS_BUILD_DLL |