Avoid weird named fifo race condition in tracediff.

diff --git a/scripts/tracediff.py b/scripts/tracediff.py
index 7237da095e5b7a172e1aae9890b7f99fecd4c86b..f4f86e35ba3da49424836d182891e35b1fba37bf 100755 (executable)
--- a/scripts/tracediff.py
+++ b/scripts/tracediff.py
@@ -32,6 +32,7 @@ import shutil
 import subprocess
 import sys
 import tempfile
+import time
 
 
 def stripdump(trace, fifo):
@@ -60,6 +61,9 @@ def stripdump(trace, fifo):
         universal_newlines = True,
     )
 
+    # XXX: Avoid a weird race condition
+    time.sleep(0.01)
+
 
 def diff(traces):
     fifodir = tempfile.mkdtemp()