5 commits

Author	SHA1	Message	Date
George Kiagiadakis	8a3c1bedde	gitlab-ci: move check_missing_headers into its own job and hide the script	2022-10-18 17:19:28 +03:00
George Kiagiadakis	45c045382e	check_missing_headers.sh: stop looking in the old src/extensions dir	2021-07-01 09:58:47 +00:00
Andreas Schnebinger	61dd645c63	Fix shellcheck warnings	2021-05-02 10:38:51 +02:00
Wim Taymans	a4bda2e826	fix missing headers check ... The include files have moved into a versioned directory	2020-02-05 17:21:12 +01:00
George Kiagiadakis	423f7ed858	travis: run make install and check for headers that have not been installed	2019-05-31 09:51:30 +02:00