From 286fce6ccad8bc16c39d57abdc6fb0cd4c95c3cb Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Thu, 16 May 2024 10:08:29 +0400
Subject: [PATCH] forcer maj build

---
 support/update-rundk.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/support/update-rundk.sh b/support/update-rundk.sh
index a30d3da..544e4cf 100755
--- a/support/update-rundk.sh
+++ b/support/update-rundk.sh
@@ -72,7 +72,7 @@ fi
 rsync -lpt "$MYDIR/Dockerfile.rundk" "$rundir/"
 
 if [ -n "$projdir" ]; then
-    if should_update "$rundir/build" "$MYDIR/build"; then
+    if testdiff "$rundir/build" "$MYDIR/build"; then
         cp "$MYDIR/build" "$rundir/build"
         chmod +x "$rundir/build"
     fi