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

main/devicepkg-dev/APKBUILD

 pkgname=devicepkg-dev
 pkgver=0.13.2
-pkgrel=0
+pkgrel=1
 pkgdesc="Provides default device package functions"
 url="https://postmarketos.org"
 arch="all"
@@ -62,7 +62,7 @@ package() {
 }
 sha512sums="
 d69930dd790b00fb39760a37d95a10899f0d167e10e2804feb05d9ce04f94185dc32d36edc90214aba2ea2aa09bf18f7dab93f1d2eff23f67beb2cc83be30e7c  compiler-gcc.h
-77dcc7bc4f90bc11f99b7bb88be171f706f7d92921b694ce862d31ab858a4b8850c9e0bdb68299ffce9f934a3c8ab16eb307fd09534085e65f0101334bd68a9d  devicepkg_build.sh
+c669f3d552bf3c2d4e0d3e138399ed5038ce23a9768837c19631765d69f08aaf12034fc3faeea5925a4bae7f11ab1cef5126bd03583933156f9064c6a97b46f4  devicepkg_build.sh
 74c1b9b265a943604d5d538ca66d4b7bcad9adcf40710ab19d795b55aac39669bf1089f7f0ec81aa7a01b537784bef4310e4acc3d7a6ba1f282ab01652bdc4d4  devicepkg_package.sh
 53aa129da5bd52376271bbd37ed7205f2dac971d442c5085260ed1c4a9b014a656cbe28ea45d242be60a2d0f8851611f3b8352c880c017995cda6ae093e5d324  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