diff options
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() |