fixup

Author: mattiaswal

src/board/raspberry-pi-4/mkimage.sh

@@ -5,7 +5,7 @@ set -e
 BOARD_DIR=$(dirname "$0")
 GENIMAGE_CFG="${BUILD_DIR}/genimage.cfg"
 GENIMAGE_TMP="${BUILD_DIR}/genimage.tmp"
-TARGET_DIR="${BR2_EXTERNAL_INFIX_PATH}/output/target}"
+TARGET_DIR="${BR2_EXTERNAL_INFIX_PATH}/output/target"
 
 # Device trees are installed for distro boot (syslinux.conf), but on RPi
 # we need them for the SPL, which feeds the TPL (U-Boot) for use instead