From 2269708736c224e39ab7a1bd1525afa418db4d74 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luis=20D=C3=ADaz=20M=C3=A1s?= <piponazo@gmail.com>
Date: Fri, 16 Nov 2018 18:34:16 +0100
Subject: [PATCH] CI: New check for detecting issues with the installation of
 public headers

---
 ci/run.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/ci/run.sh b/ci/run.sh
index d374f80641..e7cb3b361e 100755
--- a/ci/run.sh
+++ b/ci/run.sh
@@ -32,6 +32,15 @@ make -j2
 
 make tests
 make install
+
+# Check for detecting issues with the installation of headers
+if [ `ls install/include/exiv2/ | wc -l` > 10 ]; then
+    echo Headers installed correctly
+else
+    echo There was some problem with the installation of the public headers
+    exit 1
+fi
+
 pushd .
 cd bin
 $EXIV2_VALGRIND ./unit_tests
@@ -40,3 +49,4 @@ popd
 if [ -n "$COVERAGE" ]; then
     bash <(curl -s https://codecov.io/bash)
 fi
+