diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-10-10 18:02:17 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-10-10 18:02:17 +0200 |
commit | 774933a0d88502585cf8c169280e71d0c3d182fc (patch) | |
tree | 18c07989447718e0aa16ac84bf2fdc04126d564b /passes/cmds/cover.cc | |
parent | bbd808072be859074a023795a15bebab87cbfba8 (diff) | |
download | yosys-774933a0d88502585cf8c169280e71d0c3d182fc.tar.gz yosys-774933a0d88502585cf8c169280e71d0c3d182fc.tar.bz2 yosys-774933a0d88502585cf8c169280e71d0c3d182fc.zip |
Replaced fnmatch() with patmatch()
Diffstat (limited to 'passes/cmds/cover.cc')
-rw-r--r-- | passes/cmds/cover.cc | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/passes/cmds/cover.cc b/passes/cmds/cover.cc index 057f31217..64f7acf50 100644 --- a/passes/cmds/cover.cc +++ b/passes/cmds/cover.cc @@ -19,11 +19,9 @@ #include <sys/types.h> #include <unistd.h> -#include <fnmatch.h> -#include "kernel/register.h" -#include "kernel/rtlil.h" -#include "kernel/log.h" +#include "kernel/yosys.h" +#include "kernel/patmatch.h" USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN @@ -123,7 +121,7 @@ struct CoverPass : public Pass { for (auto &it : get_coverage_data()) { if (!patterns.empty()) { for (auto &p : patterns) - if (!fnmatch(p.c_str(), it.first.c_str(), 0)) + if (patmatch(p.c_str(), it.first.c_str())) goto pattern_match; continue; } |