setup.py
changeset 44846 47787a48f469
parent 44742 380959c6f75e
child 44852 fd3b94f1712d
--- 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 = []