From fa7eeb0237e6976e16601c8b50b869fcd9d7cb10 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Fri, 19 Apr 2024 11:53:37 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 support/build-images    | 0
 support/update-rundk.sh | 2 ++
 2 files changed, 2 insertions(+)
 mode change 100644 => 100755 support/build-images

diff --git a/support/build-images b/support/build-images
old mode 100644
new mode 100755
diff --git a/support/update-rundk.sh b/support/update-rundk.sh
index 0ce0a96..41c3897 100755
--- a/support/update-rundk.sh
+++ b/support/update-rundk.sh
@@ -50,3 +50,5 @@ fi
     cat "$MYDIR/rundk.2postamble"
 ) >"$rundk"
 [ -x "$rundk" ] || chmod +x "$rundk"
+
+rsync -lpt "$MYDIR/Dockerfile.rundk" "$rundir/"