diff options
Diffstat (limited to 'java/src/ant/Slice2JavaTask.java')
-rw-r--r-- | java/src/ant/Slice2JavaTask.java | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/java/src/ant/Slice2JavaTask.java b/java/src/ant/Slice2JavaTask.java index 09f3b07e797..37dbdec062d 100644 --- a/java/src/ant/Slice2JavaTask.java +++ b/java/src/ant/Slice2JavaTask.java @@ -322,6 +322,22 @@ public class Slice2JavaTask extends SliceTask cmd.append("--depend"); // + // Add --ice + // + if(_ice) + { + cmd.append(" --ice"); + } + + // + // Add --case-sensitive + // + if(_caseSensitive) + { + cmd.append(" --case-sensitive"); + } + + // // Add include directives // if(_includePath != null) |