From f214d56aeb8b2af2d743c288a13a5e8921a4f4ba Mon Sep 17 00:00:00 2001 From: Hugo Villeneuve Date: Thu, 14 Mar 2024 12:35:45 -0400 Subject: [PATCH] hvk: check for extlinux support --- scripts/hvk-compile.sh | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/scripts/hvk-compile.sh b/scripts/hvk-compile.sh index 6505651..f2b6cab 100755 --- a/scripts/hvk-compile.sh +++ b/scripts/hvk-compile.sh @@ -99,8 +99,13 @@ if [ "${EVK_IP}" != "" ]; then rm /tmp/modules.tar.gz fi - # Switch to latest kernel and DTB: - ssh root@${EVK_IP} "sed -i -e 's@^DEFAULT.*@DEFAULT test@' /boot/extlinux/extlinux.conf" + # Determine if using extlinux on target: + ssh -q root@${EVK_IP} [[ -f /boot/extlinux/extlinux.conf ]] && EXTLINUX=1 || EXTLINUX=0; + + if [ "${EXTLINUX}" = "1" ]; then + # Switch to latest kernel and DTB: + ssh root@${EVK_IP} "sed -i -e 's@^DEFAULT.*@DEFAULT test@' /boot/extlinux/extlinux.conf" + fi if [ x"${reboot}" = x"1" ]; then ssh root@${EVK_IP} "reboot" -- 2.20.1