From ea42b626200f952a2ff49d5e815a2d8497549b2d Mon Sep 17 00:00:00 2001
From: SylvanBrocard <sylvan.brocard@gmail.com>
Date: Thu, 5 Dec 2024 13:57:23 +0100
Subject: [PATCH] always run dpu_program build

CMake doesn't properly detect when it needs to be rebuilt
---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f8c6758..7bbc573 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -36,7 +36,7 @@ ExternalProject_Add(
     -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE}
     # temporary workaround until SDK distributes fixed toolchain file
     -DCMAKE_TOOLCHAIN_FILE=${CMAKE_CURRENT_SOURCE_DIR}/src/dpu_program/dpu.cmake
-)
+  BUILD_ALWAYS TRUE)
 
 # =================== BUILDING THE HOST BINARY ======================