diff -r ad8ed15f90e5 -r a02b03b7bfec uninstall.py
--- a/uninstall.py Sun Mar 04 14:55:23 2018 +0100
+++ b/uninstall.py Mon Apr 02 12:04:18 2018 +0200
@@ -342,7 +342,7 @@
global platBinDir
- for opt, arg in optlist:
+ for opt, _arg in optlist:
if opt == "-h":
usage(0)
if opt == "-y":