From 5d469178b3a0a5cc823caab96d2f051240651506 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Wed, 26 Jul 2017 15:17:08 +0200
Subject: [PATCH] Fixing python-devel installation

---
 script/pre_req | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/script/pre_req b/script/pre_req
index 44dfbbb5d..c84033f27 100755
--- a/script/pre_req
+++ b/script/pre_req
@@ -57,6 +57,11 @@ if [ x"$platform" = x"linux" -a x"$pcman" = x"yum"  ]; then
   ret1=$?
   rpm -V python-devel
   ret2=$?
+  if [ $ret2 -ne 0 ]; then
+    echo "Cheking python2-devel"
+    rpm -V python2-devel
+    ret2=$?
+  fi
   rpm -V libxml2-devel
   ret3=$?
   rpm -V libxslt-devel
-- 
GitLab