Ajout du package linux-devel pour famille RedHat

2018-05-07 16:44:39 +02:00
parent 3157c59c30
commit dd8563266e
1 changed files with 1 additions and 0 deletions
--- a/softwares/developpement.sls
+++ b/softwares/developpement.sls
@@ -12,5 +12,6 @@ Outils de developpement toute plateforme:
      - pkgs:
        - @development-tools
        - @development-librairies
+        - linux-devel
  {% endif %}
 {% endif %}