Added support for --case-sensitive option (attribute casesensitive).

1 files changed, 17 insertions, 0 deletions

diff --git a/java/ant/Slice2JavaTask.java b/java/ant/Slice2JavaTask.java
index 84d05a55614..289db179126 100644
--- a/java/ant/Slice2JavaTask.java
+++ b/java/ant/Slice2JavaTask.java
@@ -43,6 +43,7 @@ import java.io.BufferedWriter;
  *   package - The value for the --package translator option.
  *   tie - The value for the --tie translator option.
  *   clone - The value for the --clone translator option.
+ *   casesensitive - The value for the --case-sensitive translator option.
  *
  * Nested elements:
  *
@@ -82,6 +83,7 @@ public class Slice2JavaTask extends org.apache.tools.ant.Task
         _includePath = null;
         _tie = false;
         _clone = false;
+	_caseSensitive = false;
     }
 
     public void
@@ -149,6 +151,12 @@ public class Slice2JavaTask extends org.apache.tools.ant.Task
         _clone = c;
     }
 
+    public void
+    setCaseSensitive(boolean c)
+    {
+        _caseSensitive = c;
+    }
+
     public FileSet
     createFileset()
     {
@@ -288,6 +296,14 @@ public class Slice2JavaTask extends org.apache.tools.ant.Task
             }
 
             //
+            // Add --case-sensitive
+            //
+            if(_caseSensitive)
+            {
+                cmd.append(" --case-sensitive");
+            }
+
+            //
             // Add files to be translated
             //
             for(int i = 0; i < buildList.size(); i++)
@@ -402,5 +418,6 @@ public class Slice2JavaTask extends org.apache.tools.ant.Task
     private Path _includePath;
     private boolean _tie;
     private boolean _clone;
+    private boolean _caseSensitive;
     private java.util.List _fileSets = new java.util.LinkedList();
 }