diff options
| -rwxr-xr-x | test/run_test_build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/run_test_build.py b/test/run_test_build.py index 5569ffbcae..464b36180e 100755 --- a/test/run_test_build.py +++ b/test/run_test_build.py @@ -150,7 +150,7 @@ class BuildTestContext: stderr=subprocess.STDOUT, stdout=subprocess.PIPE) if REPORT_SLOW_COMMANDS: - m = re.search("([0-9\.]+)user", p.stdout) + m = re.search(r"([0-9\.]+)user", p.stdout) assert m, p.stdout t = float(m.group(1)) if t > 1.0: |