gesamt: bugfix fuer 'this.ID(...)'

[uebersetzerbau-ss10.git] / asmb / dumpinstr.sh

diff --git a/asmb/dumpinstr.sh b/asmb/dumpinstr.sh
index abff42d87b60e4d55142ce6796259bb8be856c04..54726e7ea97cd703fe0e85708df80abb7e6ebae9 100755 (executable)
--- a/asmb/dumpinstr.sh
+++ b/asmb/dumpinstr.sh
@@ -63,4 +63,4 @@ awk -- '\
 echo instructions: `grep "^  " $EXECFILE.trace | wc -l`
 echo trace output: $EXECFILE.trace
 
-#rm $EXECFILE.tmp $EXECFILE.output
+rm $EXECFILE.tmp $EXECFILE.output