diff options
Diffstat (limited to 'scripts/Expect.py')
-rwxr-xr-x | scripts/Expect.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Expect.py b/scripts/Expect.py index 7413244075d..05d768befab 100755 --- a/scripts/Expect.py +++ b/scripts/Expect.py @@ -613,7 +613,7 @@ class Expect (object): try: self.wait(timeout) - if self.mapping == "java": + if self.mapping in ["java", "java-compat"]: if self.killed is not None: if win32: test(self.exitstatus, -self.killed) |