gcontini
2019-12-07 74001fb4ce5041c3deb42a0ca252ae338aa571db
src/library/os/os-linux.c
@@ -203,13 +203,7 @@
}
void os_initialize() {
   static int initialized = 0;
   if (initialized == 0) {
      initialized = 1;
      ERR_load_ERR_strings();
      ERR_load_crypto_strings();
      OpenSSL_add_all_algorithms();
   }
}
static void _getCpuid(unsigned int *p, unsigned int ax) {