CI: New check for detecting issues with the installation of public he…

…aders
Exiv2 · Nov 16, 2018 · 2269708 · 2269708
1 parent ee28e8a
commit 2269708
Showing 1 changed file with 10 additions and 0 deletions.
diff --git 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
+