Revert "Revert "Merge branch 'feature/machine_and_kb' into master""

This reverts commit f2cd3756dd.
2021-07-04 17:40:39 +02:00
parent 3b61d8a4d1
commit 4f6df76f10
77 changed files with 11883 additions and 3484 deletions
--- a/src/log.c
+++ b/src/log.c
@@ -43,6 +43,9 @@ typedef struct
 } log_t;


+extern FILE	*stdlog;			/* file to log output to */
+
+
 void
 log_set_suppr_seen(void *priv, int suppr_seen)
 {