From f214d56aeb8b2af2d743c288a13a5e8921a4f4ba Mon Sep 17 00:00:00 2001
From: Hugo Villeneuve <hugo@hugovil.com>
Date: Thu, 14 Mar 2024 12:35:45 -0400
Subject: [PATCH 1/1] 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