diff --git a/configure.py b/configure.py index d91d3fc8b..e6154fb68 100644 --- a/configure.py +++ b/configure.py @@ -321,7 +321,7 @@ config.libs = [ Object(Matching, "f_pc/f_pc_layer_tag.cpp"), Object(Matching, "f_pc/f_pc_line.cpp"), Object(Matching, "f_pc/f_pc_load.cpp"), - Object(Matching, "f_pc/f_pc_manager.cpp"), + Object(NonMatching, "f_pc/f_pc_manager.cpp"), Object(Matching, "f_pc/f_pc_method.cpp"), Object(Matching, "f_pc/f_pc_node.cpp"), Object(Matching, "f_pc/f_pc_node_req.cpp"),