diff options
Diffstat (limited to 'flat/CIAO/rules.ciao.GNU')
| -rw-r--r-- | flat/CIAO/rules.ciao.GNU | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/flat/CIAO/rules.ciao.GNU b/flat/CIAO/rules.ciao.GNU index a3c76dc47a7..d181ccdb9b2 100644 --- a/flat/CIAO/rules.ciao.GNU +++ b/flat/CIAO/rules.ciao.GNU @@ -16,6 +16,8 @@ ifndef CIAO_ROOT CIAO_ROOT = $(TAO_ROOT)/CIAO endif +CIAO_ROOT := $(subst \,/,$(CIAO_ROOT)) + ifndef TAO_IDL3_TO_IDL2 TAO_IDL3_TO_IDL2 = $(CIAO_ROOT)/tools/IDL3_TO_IDL2/tao_idl3_to_idl2 TAO_IDL3_TO_IDL2_DEP = $(TAO_IDL3_TO_IDL2)$(EXEEXT) |