tests/run-tests.py
changeset 47571 e9c5c368be17
parent 47500 23f5ed6dbcb1
child 47573 75b623801f6a
--- a/tests/run-tests.py	Thu Jul 08 17:13:18 2021 +0200
+++ b/tests/run-tests.py	Wed Jun 23 14:34:55 2021 +0200
@@ -1308,6 +1308,11 @@
             (br'\bHG_TXNID=TXN:[a-f0-9]{40}\b', br'HG_TXNID=TXN:$ID$'),
         ]
         r.append((self._escapepath(self._testtmp), b'$TESTTMP'))
+        if os.name == 'nt':
+            # JSON output escapes backslashes in Windows paths, so also catch a
+            # double-escape.
+            replaced = self._testtmp.replace(b'\\', br'\\')
+            r.append((self._escapepath(replaced), b'$STR_REPR_TESTTMP'))
 
         replacementfile = os.path.join(self._testdir, b'common-pattern.py')