|
@@ -100,6 +100,12 @@ static void sigint_handler(int signo) {
|
|
|
}
|
|
}
|
|
|
#endif
|
|
#endif
|
|
|
|
|
|
|
|
|
|
+static void llama_log_callback_logTee(ggml_log_level level, const char * text, void * user_data) {
|
|
|
|
|
+ (void) level;
|
|
|
|
|
+ (void) user_data;
|
|
|
|
|
+ LOG_TEE("%s", text);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
int main(int argc, char ** argv) {
|
|
int main(int argc, char ** argv) {
|
|
|
gpt_params params;
|
|
gpt_params params;
|
|
|
g_params = ¶ms;
|
|
g_params = ¶ms;
|
|
@@ -113,6 +119,7 @@ int main(int argc, char ** argv) {
|
|
|
log_set_target(log_filename_generator("main", "log"));
|
|
log_set_target(log_filename_generator("main", "log"));
|
|
|
LOG_TEE("Log start\n");
|
|
LOG_TEE("Log start\n");
|
|
|
log_dump_cmdline(argc, argv);
|
|
log_dump_cmdline(argc, argv);
|
|
|
|
|
+ llama_log_set(llama_log_callback_logTee, nullptr);
|
|
|
#endif // LOG_DISABLE_LOGS
|
|
#endif // LOG_DISABLE_LOGS
|
|
|
|
|
|
|
|
// TODO: Dump params ?
|
|
// TODO: Dump params ?
|