main/devicepkg-dev: fail if the splash config can't be found (MR 2910)

main/devicepkg-dev/APKBUILD

@@ -62,7 +62,7 @@ package() {
 }
 sha512sums="
 d69930dd790b00fb39760a37d95a10899f0d167e10e2804feb05d9ce04f94185dc32d36edc90214aba2ea2aa09bf18f7dab93f1d2eff23f67beb2cc83be30e7c  compiler-gcc.h
-77dcc7bc4f90bc11f99b7bb88be171f706f7d92921b694ce862d31ab858a4b8850c9e0bdb68299ffce9f934a3c8ab16eb307fd09534085e65f0101334bd68a9d  devicepkg_build.sh
+c47435bc1638bbe1c6e3f829fb1998c4938baef821ffb0dd1ef312cc8b53aede53a43db43b5027c6a3368d013a6ecc15a4a836be8a77aca966892f3296d92d39  devicepkg_build.sh
 74c1b9b265a943604d5d538ca66d4b7bcad9adcf40710ab19d795b55aac39669bf1089f7f0ec81aa7a01b537784bef4310e4acc3d7a6ba1f282ab01652bdc4d4  devicepkg_package.sh
 f81e74e45ae8e55686ae459f550e229e7398daeafa72bd023c2d8c3a0d50e60bf53d5bbdfec931e9fbabe1cd71de57b2192805aaef091ab90bc7203cbaf66ba6  downstreamkernel_prepare.sh
 107242a3da38a574c46cb779e0c75afbeef4cfe659e1b85971973ac55843df06f70f53a5985ca623d4123f05f2984f5dace4a53a3509ecefd7dfdc3c8b705cfe  downstreamkernel_package.sh

main/devicepkg-dev/devicepkg_build.sh

@@ -27,6 +27,11 @@ generate_splash_screens()
 	splash_width=${deviceinfo_screen_width:-720}
 	splash_height=${deviceinfo_screen_height:-1280}
 
+	if [ ! -f "$splash_config" ]; then
+		echo "ERROR: Can't find splash config \"$splash_config\""
+		exit 1
+	fi
+
 	# Overwrite $@ to easily iterate over the splash screens. Format:
 	# $1: splash_name
 	# $2: text