diff --git a/jenkins/build-seed b/jenkins/build-seed
index 831e109..8ab37e2 100755
--- a/jenkins/build-seed
+++ b/jenkins/build-seed
@@ -28,6 +28,7 @@
     bletchley
     e3c246d4i
     gbs
+    harma
     p10bmc
     palmetto
     romed8hm3