Gabriele Contini
2020-02-10 7cd73dd4f6ddec566c33596766c779beb873aa63
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)