From 031e2117c43fce7c6a29a838592783c944f063a6 Mon Sep 17 00:00:00 2001
From: Ossi Salmi <osalmi@iki.fi>
Date: Fri, 14 Jun 2013 16:54:57 +0300
Subject: [PATCH] gcc: Fixed package name of kernel-headers for Ubuntu

---
 gcc/manifests/init.pp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/manifests/init.pp b/gcc/manifests/init.pp
index 32b558d..7cccfcf 100644
--- a/gcc/manifests/init.pp
+++ b/gcc/manifests/init.pp
@@ -13,8 +13,8 @@ class gcc {
     if $::kernel == Linux {
         package { "kernel-headers":
             name   => $::operatingsystem ? {
-                "debian" => "linux-kernel-headers",
-                "ubuntu" => "linux-kernel-headers",
+                "debian" => "linux-libc-dev",
+                "ubuntu" => "linux-libc-dev",
                 default  => [ "kernel-headers", "kernel-devel", ],
             },
             ensure => installed,