From e68b328cf8bca05c2e9310170b4dfa2177e13cc5 Mon Sep 17 00:00:00 2001
From: Jimmy Brisson <theotherjimmy@gmail.com>
Date: Wed, 11 Jul 2018 11:44:50 -0500
Subject: [PATCH] Fix Python3 bug with `mbed export -S`

---
 tools/project.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/project.py b/tools/project.py
index 87dba9d5b4..b9f9e3f63f 100644
--- a/tools/project.py
+++ b/tools/project.py
@@ -167,7 +167,7 @@ def get_args(argv):
 
     targetnames = TARGET_NAMES
     targetnames.sort()
-    toolchainlist = list(EXPORTERS.keys() + EXPORTER_ALIASES.keys())
+    toolchainlist = list(EXPORTERS.keys()) + list(EXPORTER_ALIASES.keys())
     toolchainlist.sort()
 
     parser.add_argument(