diff --git a/src/common/common.h b/src/common/common.h index 84fdaa70d..af6cf9f73 100644 --- a/src/common/common.h +++ b/src/common/common.h @@ -111,6 +111,7 @@ using namespace std::string_literals; #define TIMESTAMP_SCALE 1000000 void mxrun_before_exit(std::function function); +[[noreturn]] void mxexit(int code = -1); void set_process_priority(int priority);