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 a7b6838..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 {