diff --git a/regen.pl b/regen.pl index ce79c0ec6d..0cce6440ff 100644 --- a/regen.pl +++ b/regen.pl @@ -21,6 +21,7 @@ foreach my $pl (map {chomp; "regen/$_"} ) { and die "@command failed: $?" } +# embed.pl must be kept last, as other scripts may affect it. __END__ feature.pl mg_vtable.pl