travis: run make install and check for headers that have not been installed

This commit is contained in:
George Kiagiadakis 2019-05-29 16:47:11 +03:00 committed by Wim Taymans
parent 9d48021af1
commit 423f7ed858
2 changed files with 38 additions and 1 deletions

View file

@ -19,4 +19,8 @@ script:
-Dtest=true \
-Dvideotestsrc=true \
-Dvolume=true \
&& make && make test'
&& make \
&& make test \
&& env DESTDIR=i make install \
&& env PREFIX=build/i/usr/local ./check_missing_headers.sh \
'