From 6568fe97bde17fb831a45665145a5330a68d0a32 Mon Sep 17 00:00:00 2001
From: Pablo Greco <pablo@fliagreco.com.ar>
Date: Mar 21 2019 21:38:11 +0000
Subject: Skip gcc-gnat test in CentOS 6


---

diff --git a/tests/p_gcc-gnat/test_gcc-gnat.sh b/tests/p_gcc-gnat/test_gcc-gnat.sh
index ca3940a..f097c5f 100755
--- a/tests/p_gcc-gnat/test_gcc-gnat.sh
+++ b/tests/p_gcc-gnat/test_gcc-gnat.sh
@@ -3,6 +3,11 @@
 
 t_Log "Running $0 - gcc-gnat can build a hello.adb"
 
+if [ "$centos_ver" -lt 7 ] ; then
+  t_Log "CentOS $centos_ver -> SKIP"
+  exit 0
+fi
+
 # creating source code
 pushd '/var/tmp' >/dev/null
 FILE='/var/tmp/gcctesthello.adb'