diff options
author | Yves Orton <demerphq@gmail.com> | 2022-11-29 11:58:20 +0100 |
---|---|---|
committer | Yves Orton <demerphq@gmail.com> | 2022-11-30 12:10:04 +0100 |
commit | c9c8e2368deb1a7e6bbeb67711f2706517c0f092 (patch) | |
tree | 518958daf05f4c8f7fb4549ed0f37996f2473df1 /regen.pl | |
parent | e7f0696486ec657c7adc5b249cc6cdc1a54c1f9f (diff) | |
download | perl-c9c8e2368deb1a7e6bbeb67711f2706517c0f092.tar.gz |
regen.pl - add miniperlmain.pl, it is fast, and doesn't hurt
I was surprised `make regen` didnt regenerate miniperlmain.pl,
given it is fast I see no reason we shouldn't do it as part of
the regen process.
Diffstat (limited to 'regen.pl')
-rw-r--r-- | regen.pl | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -25,6 +25,7 @@ __END__ embed.pl feature.pl mg_vtable.pl +miniperlmain.pl opcode.pl overload.pl reentr.pl |