Gabriele Contini
2020-02-09 32487505f658b61a768680e9b4aadf616726ef12
src/library/pc_identifier/CMakeLists.txt
@@ -5,8 +5,6 @@
   disk_strategy.cpp
   pc_identifier.cpp
   default_strategy.cpp
   #pc-identifiers.c
)
if(CODE_COVERAGE AND UNIX)