summaryrefslogtreecommitdiff
path: root/kernel/log.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-30 14:10:15 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-30 14:10:15 +0200
commita7c6b37abf3e4628dd921bb12f77987d1f94c45f (patch)
treee2d7775b8df6e089e7b567febf27224cf1991a33 /kernel/log.cc
parent273383692a50490f02a51d0c44ba63b9f557da4e (diff)
Added "kernel/yosys.h" and "kernel/yosys.cc"
Diffstat (limited to 'kernel/log.cc')
-rw-r--r--kernel/log.cc24
1 files changed, 1 insertions, 23 deletions
diff --git a/kernel/log.cc b/kernel/log.cc
index 8036b236..5fe0d086 100644
--- a/kernel/log.cc
+++ b/kernel/log.cc
@@ -17,10 +17,7 @@
*
*/
-#include "kernel/log.h"
-#include "kernel/rtlil.h"
-#include "kernel/register.h"
-#include "kernel/compatibility.h"
+#include "kernel/yosys.h"
#include "backends/ilang/ilang_backend.h"
#include <sys/time.h>
@@ -43,25 +40,6 @@ std::list<std::string> string_buf;
static struct timeval initial_tv = { 0, 0 };
static bool next_print_log = false;
-std::string stringf(const char *fmt, ...)
-{
- std::string string;
- char *str = NULL;
- va_list ap;
-
- va_start(ap, fmt);
- if (vasprintf(&str, fmt, ap) < 0)
- str = NULL;
- va_end(ap);
-
- if (str != NULL) {
- string = str;
- free(str);
- }
-
- return string;
-}
-
void logv(const char *format, va_list ap)
{
if (log_time) {