diff options
Diffstat (limited to 'frontends/monkey')
-rw-r--r-- | frontends/monkey/main.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/monkey/main.c b/frontends/monkey/main.c index d697f271f..53cde5a72 100644 --- a/frontends/monkey/main.c +++ b/frontends/monkey/main.c @@ -404,5 +404,8 @@ main(int argc, char **argv) /* finalise options */ nsoption_finalise(nsoptions, nsoptions_default); + /* finalise logging */ + nslog_finalise(); + return 0; } |