another fix :)

diff --git a/ir/be/scripts/generate_emitter.pl b/ir/be/scripts/generate_emitter.pl
index f254072..1326d9a 100755 (executable)
--- a/ir/be/scripts/generate_emitter.pl
+++ b/ir/be/scripts/generate_emitter.pl
@@ -39,6 +39,7 @@ if ($new_emit_syntax) {
                warn "couldn't do $newscript: $!"    unless defined $return;
                warn "couldn't run $newscript"       unless $return;
        }
+       exit;
 }
 
 my $comment_string_quoted = quotemeta($comment_string);