From 4fcf6a3c9b87b02d73b6a2f55c17573ca7fc5bbc Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 26 Jul 2009 20:29:04 +0000
Subject: Tweak objdump script, kcachegrind has gotten stricter about its
 parsing.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77168 91177308-0d34-0410-b5e6-96231b3b80d8
---
 scripts/objdump | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/objdump b/scripts/objdump
index 45fe6384..ff055697 100755
--- a/scripts/objdump
+++ b/scripts/objdump
@@ -22,7 +22,7 @@ def fakeObjdumpOutput(file, start, end):
     
     lines = open(file).readlines()
     for i in range(max(0,start-1),min(end-1,len(lines))):
-        print '%x: _ %s'%(i+1,lines[i])
+        print '%x:\t00 00\t%s'%(i+1,lines[i])
         
 def main(args):
     # exact pattern match kcachegrind's calling sequence
-- 
cgit 1.4.1