Pod name changes in ARMBAND
[releng.git] / jjb / doctor / doctor.yml
index 23d12de..d535d61 100644 (file)
@@ -39,7 +39,7 @@
     pod:
         - arm-pod2:
             slave-label: '{pod}'
-        - arm-pod3:
+        - arm-pod5:
             slave-label: '{pod}'
 
     jobs: