diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/ci/jobs/pngcheck.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tools/ci/jobs/pngcheck.sh b/tools/ci/jobs/pngcheck.sh new file mode 100755 index 000000000..8a44e1f41 --- /dev/null +++ b/tools/ci/jobs/pngcheck.sh @@ -0,0 +1,22 @@ +#!/bin/bash + +source ./tools/ci/scripts/init.sh + +aptget_install pngcheck + +export LOG1="pngcheck.log" +export LOG2="pngcheck2.log" + +rm ${LOG1} +rm ${LOG2} + +find data -type f -name "*.png" -exec pngcheck {} \; >${LOG1} + +grep -v "32-bit RGB+alpha, non-interlaced, " ${LOG1} >${LOG2} +export DATA=$(cat pngcheck2.log) +if [[ -n "${DATA}" ]]; then + echo "Images must be in 32 bit RGBA and non-interlanced" + echo "Wrong images format found:" + cat ${LOG2} + exit 1 +fi |