Gabriele Contini
2019-09-01 cda3bcaec6ebc7a8cb5cae4ac2ec9471d9d0a1e6
src/tools/bootstrap/bootstrap.cpp
@@ -95,7 +95,7 @@
   string public_fname(argv[2]);
   if (file_exists(private_fname) || file_exists(public_fname)) {
      printf("Key file exist, skipping key generation. Do 'make clean' to generate new keys.\n");
      printf("Key files exist, skipping key generation. Do 'make clean' to generate new keys.\n");
      exit(0);
   }