Gabriele Contini
2019-08-29 97f83e095d15c6369864874b0e2e0d197ce8fb8e
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.");
      printf("Key files exist, skipping key generation. Do 'make clean' to generate new keys.\n");
      exit(0);
   }