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