Gabriele Contini
2019-09-07 7b1950f29fa4a73a43b71ee3c1e444fa38e296f0
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);
   }