--- a/setup.py Mon May 11 21:54:05 2020 +0200
+++ b/setup.py Sun May 17 12:23:03 2020 -0400
@@ -1396,7 +1396,7 @@
env['HOME'] = pwd.getpwuid(os.getuid()).pw_dir
- cargocmd = ['cargo', 'rustc', '-vv', '--release']
+ cargocmd = ['cargo', 'rustc', '--release']
feature_flags = []