board/stmicroelectronics/stm32f769-disco/post-build.sh

#!/bin/sh
BOARD_DIR="$(dirname "$0")"

# Kernel is built without devpts support
sed -i '/^devpts/d' "${TARGET_DIR}"/etc/fstab

install -m 0644 -D "${BOARD_DIR}"/extlinux.conf "${BINARIES_DIR}"/extlinux/extlinux.conf