Gabriele Contini
2020-02-09 3962858831fe544900cb4560c50f9bb77f8247f3
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)