diff --git a/lib/gdbbuilder.py b/lib/gdbbuilder.py
index 29f9a58..5bee792 100644
--- a/lib/gdbbuilder.py
+++ b/lib/gdbbuilder.py
@@ -181,7 +181,7 @@ def load_config (c):
     c['builders'] = []
     for b in config['builders']:
         if 'arch_triplet' in b:
-            arch_triplet = b.pop ('arch_triplet')
+            arch_triplet = [ b.pop ('arch_triplet') ]
         else:
             arch_triplet = []
         btype = b.pop ('type')