aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/log.h
diff options
context:
space:
mode:
authorAndrew Zonenberg <azonenberg@drawersteak.com>2016-12-23 12:32:55 -0800
committerGitHub <noreply@github.com>2016-12-23 12:32:55 -0800
commit5ffede5c0e81b682268129b79f305733e11242be (patch)
treea0e70a25f3b4090912866264431662de67e1f226 /kernel/log.h
parenta44cc7a3d1c21c37c7dfb88b92bb479389dfce16 (diff)
parent9f69a70d746e7907eed494941bc89a18159caa1b (diff)
downloadyosys-5ffede5c0e81b682268129b79f305733e11242be.tar.gz
yosys-5ffede5c0e81b682268129b79f305733e11242be.tar.bz2
yosys-5ffede5c0e81b682268129b79f305733e11242be.zip
Merge pull request #1 from azonenberg-hk/master
Pull changes from HK trip
Diffstat (limited to 'kernel/log.h')
-rw-r--r--kernel/log.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/log.h b/kernel/log.h
index 53480db31..5b1729eb1 100644
--- a/kernel/log.h
+++ b/kernel/log.h
@@ -23,6 +23,7 @@
#define LOG_H
#include <time.h>
+#include <regex>
#ifndef _WIN32
# include <sys/time.h>
@@ -48,6 +49,7 @@ struct log_cmd_error_exception { };
extern std::vector<FILE*> log_files;
extern std::vector<std::ostream*> log_streams;
extern std::map<std::string, std::set<std::string>> log_hdump;
+extern std::vector<std::regex> log_warn_regexes;
extern bool log_hdump_all;
extern FILE *log_errfile;
extern SHA1 *log_hasher;