mirror of
https://github.com/crazywhalecc/static-php-cli.git
synced 2026-07-03 23:05:41 +08:00
13 lines
248 B
Diff
13 lines
248 B
Diff
--- a/main/main.c
|
|
+++ b/main/main.c
|
|
@@ -2563,6 +2563,9 @@
|
|
#endif
|
|
|
|
zend_observer_shutdown();
|
|
+
|
|
+ { extern int __llvm_profile_write_file(void) __attribute__((weak));
|
|
+ if (__llvm_profile_write_file) __llvm_profile_write_file(); }
|
|
}
|
|
/* }}} */
|
|
|