diff options
| -rw-r--r-- | linux-user/exit.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/linux-user/exit.c b/linux-user/exit.c index aed8713fae..14e94e28fa 100644 --- a/linux-user/exit.c +++ b/linux-user/exit.c @@ -19,10 +19,17 @@ #include "qemu/osdep.h" #include "qemu.h" +#ifdef CONFIG_GCOV +extern void __gcov_dump(void); +#endif + void preexit_cleanup(CPUArchState *env, int code) { #ifdef TARGET_GPROF _mcleanup(); #endif +#ifdef CONFIG_GCOV + __gcov_dump(); +#endif gdb_exit(env, code); } |