X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=blobdiff_plain;f=scripts%2Fdumpinstr.sh;h=0a6850ee6d0ed918f0bbcb81d5345134be877eda;hp=0653bcc4867716a336d4aaf2cf5f5a03c2cf116e;hb=738801cc5462c5ee2d57f5f20db848cf24044ec6;hpb=74fb84fbb5a8783ff5d582eb2ec797a3590f7655

diff --git a/scripts/dumpinstr.sh b/scripts/dumpinstr.sh
index 0653bcc..0a6850e 100755
--- a/scripts/dumpinstr.sh
+++ b/scripts/dumpinstr.sh
@@ -50,15 +50,13 @@ quit
 
 END
 
-gdb < $EXECFILE.tmp > $EXECFILE.trace 2>/dev/null
-
-mv $EXECFILE.trace $EXECFILE.output
+gdb < $EXECFILE.tmp > $EXECFILE.output 2>/dev/null
 
 awk -- '\
 /^====BEGIN/ {ll = ("begin " $2);} \
 /^==== / {print ll; ll = (" " substr($0, 5));} \
 /^====END/ {print "end", $2;}
-' $EXECFILE.output > $EXECFILE.trace
+' $EXECFILE.output >> $EXECFILE.trace
 
 echo instructions: `grep "^  " $EXECFILE.trace | wc -l`
 echo trace output: $EXECFILE.trace