diff options
| author | Michi Henning <michi@zeroc.com> | 2002-09-17 05:06:11 +0000 |
|---|---|---|
| committer | Michi Henning <michi@zeroc.com> | 2002-09-17 05:06:11 +0000 |
| commit | d81ab8b62645973c7dd3868267eac0bb3b10b579 (patch) | |
| tree | 00a3dbb9dd39c4e7dcc482136643c82d071a3d0f /cpp/test/Slice/errorDetection/run.py | |
| parent | Modified AddUserToAllowCategories usage. (diff) | |
| download | ice-d81ab8b62645973c7dd3868267eac0bb3b10b579.tar.bz2 ice-d81ab8b62645973c7dd3868267eac0bb3b10b579.tar.xz ice-d81ab8b62645973c7dd3868267eac0bb3b10b579.zip | |
Added --case-sensitive option.
Diffstat (limited to 'cpp/test/Slice/errorDetection/run.py')
| -rwxr-xr-x | cpp/test/Slice/errorDetection/run.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/cpp/test/Slice/errorDetection/run.py b/cpp/test/Slice/errorDetection/run.py index b39f45237ba..1e279278c6a 100755 --- a/cpp/test/Slice/errorDetection/run.py +++ b/cpp/test/Slice/errorDetection/run.py @@ -32,7 +32,10 @@ for file in files: print file + "...", - command = slice2cpp + " -I. " + os.path.join(directory, file); + if file == "CaseSensitive.ice": + command = slice2cpp + " --case-sensitive -I. " + os.path.join(directory, file); + else: + command = slice2cpp + " -I. " + os.path.join(directory, file); stdin, stdout, stderr = os.popen3(command) lines1 = stdout.readlines() lines2 = open(os.path.join(directory, regex1.sub(".err", file)), "r").readlines() |