aboutsummaryrefslogtreecommitdiffstats
path: root/main.c
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2014-07-31 19:43:17 +0300
committerArnold D. Robbins <arnold@skeeve.com>2014-07-31 19:43:17 +0300
commite3f18c6702e67aabd90edea58a4edcc5d0495fdf (patch)
tree7dd3a6fabeaf5a09093de66977b1796e761a5883 /main.c
parentb223339f5b27d7deb0cd7e45f6f50624990fb336 (diff)
parent825dd9a1839ca42c4ed6152de41515958e11660d (diff)
downloadegawk-e3f18c6702e67aabd90edea58a4edcc5d0495fdf.tar.gz
egawk-e3f18c6702e67aabd90edea58a4edcc5d0495fdf.tar.bz2
egawk-e3f18c6702e67aabd90edea58a4edcc5d0495fdf.zip
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'main.c')
-rw-r--r--main.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/main.c b/main.c
index d8acedaa..7f1595b8 100644
--- a/main.c
+++ b/main.c
@@ -754,6 +754,11 @@ out:
if (do_dump_vars)
dump_vars(varfile);
+#ifdef HAVE_MPFR
+ if (do_mpfr)
+ cleanup_mpfr();
+#endif
+
if (do_tidy_mem)
release_all_vars();