diff -r 83451f10f3eb -r 2cc7e3629784 install-i18n.py
--- a/install-i18n.py Mon Mar 12 19:49:46 2018 +0100
+++ b/install-i18n.py Mon Mar 12 19:57:16 2018 +0100
@@ -106,7 +106,7 @@
global platBinDir
- for opt, arg in optlist:
+ for opt, _arg in optlist:
if opt == "-h":
usage(0)
elif opt == "-p":