diff --git a/jenkins/build-seed b/jenkins/build-seed
index 131285d..9e131e4 100755
--- a/jenkins/build-seed
+++ b/jenkins/build-seed
@@ -24,6 +24,8 @@
 export build_dir="${WORKSPACE}/build"
 
 SEED_MACHINES=(
+    bletchley
+    e3c246d4i
     gbs
     gsj
     p10bmc