diff options
Diffstat (limited to 'cpp/test/Slice/errorDetection/run.py')
| -rwxr-xr-x | cpp/test/Slice/errorDetection/run.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/test/Slice/errorDetection/run.py b/cpp/test/Slice/errorDetection/run.py index 0cc00280539..ee206bf5098 100755 --- a/cpp/test/Slice/errorDetection/run.py +++ b/cpp/test/Slice/errorDetection/run.py @@ -32,7 +32,7 @@ for file in files: print file + "...", - command = slice2cpp + " " + os.path.join(directory, file); + 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() |