identifiers next work

gcontini

2020-02-09 8e1bdfdca2ad2157fd74cedc1a6768a1b1c0849d

 src/library/os/CMakeLists.txt

@@ -5,8 +5,8 @@
          linux/execution_environment.cpp
          cpu_info_common.cpp
          linux/cpu_info.cpp
          linux/os-linux.c 
          linux/network_id.c)
          linux/network.cpp
          linux/os-linux.c) 
   ELSE(UNIX)
         add_library(os OBJECT 
         cpu_info_common.cpp openssl/signature_verifier.cpp windows/os-win.c)