diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2022-12-01 22:03:01 +0200 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2022-12-01 22:03:01 +0200 |
commit | 4693c3cde8056d9179d7d712f32cb121c8902916 (patch) | |
tree | 25e774d21f58140bcb6bea9bbef15f5f24aecda3 /main.c | |
parent | 7e43bd58d61acb67ec7032bfc97251552944fd2c (diff) | |
parent | 8ef27c83a23fea93cca0b4efc12521a5bb5b186f (diff) | |
download | gawk-4693c3cde8056d9179d7d712f32cb121c8902916.tar.gz |
Merge branch 'gawk-5.2-stable'
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1808,6 +1808,9 @@ parse_args(int argc, char **argv) out: do_optimize = (do_optimize && ! do_pretty_print); + if (using_persistent_malloc) + pma_mpfr_check(); + return; } |