diff -r 2cc7e3629784 -r 5a6ae3be31e6 uninstall.py
--- a/uninstall.py Mon Mar 12 19:57:16 2018 +0100
+++ b/uninstall.py Tue Mar 13 14:54:46 2018 +0100
@@ -342,7 +342,7 @@
global platBinDir
- for opt, arg in optlist:
+ for opt, _arg in optlist:
if opt == "-h":
usage(0)
if opt == "-y":