Merge branch 'master' of ssh://handel.debian.org/srv/puppet.debian.org/git/dsa-puppet

[mirror/dsa-puppet.git] / manifests / site.pp

diff --git a/manifests/site.pp b/manifests/site.pp
index dac65f8..2fecb32 100644 (file)
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -74,7 +74,14 @@ node default {
     }
 
     case extractnodeinfo($nodeinfo, 'buildd') {
-         true:  { include buildd }
+         true:  {
+             include buildd
+             case $kernel {
+                 'Linux': {
+                     include ferm
+                 }
+             }
+         }
     }
 
     case $hostname {
@@ -84,7 +91,7 @@ node default {
     }
 
     case $hostname {
-        logtest01,geo1,geo2,geo3,bartok,senfl,beethoven,piatti,saens,villa,lobos,raff,gluck,schein,wieck,steffani: { include ferm }
+        logtest01,geo1,geo2,geo3,bartok,senfl,beethoven,piatti,saens,villa,lobos,raff,gluck,schein,wieck,steffani,ball: { include ferm }
     }
     case $hostname {
         piatti: {