From 30594aa84bea5e0ef45a3e0ee946aebf79fa7729 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 12 Feb 2024 11:47:01 +0400
Subject: [PATCH] maj distributions

---
 dkbuild | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/dkbuild b/dkbuild
index 5bfdd04..860f0a9 100755
--- a/dkbuild
+++ b/dkbuild
@@ -86,13 +86,16 @@ $scriptname build [OPTIONS] [BUILDVARS...]
         configuration ne doit être chargé.
 
     -d, --dist DIST
-    -9, --d9
     -0, --d10
     -1, --d11
+    -2, --d12
+    -3, --d13
     --r7, --rhel7
     --r8, --rhel8
+    --r9, --rhel9
     --o7, --oracle7
     --o8, --oracle8
+    --o9, --oracle9
         Ne faire le build que pour la distribution spécifiée. Par défaut, faire
         le build pour toutes les distributions définies. Si la distribution
         sélectionnée n'est pas valide pour ce build, elle est ignorée
@@ -936,13 +939,16 @@ SHARED_ARGS1=(
 SHARED_LOCALS2="local DIST PROFILE ALL_PROFILES; local -a TMPENVIRON TMPARGS"
 SHARED_ARGS2=(
     -d:,--dist: DIST=
-    -9,--d9 DIST=d9
     -0,--d10 DIST=d10
     -1,--d11 DIST=d11
+    -2,--d12 DIST=d11
+    -3,--d13 DIST=d11
     --r7,--rhel7 DIST=rhel7
     --r8,--rhel8 DIST=rhel8
+    --r9,--rhel9 DIST=rhel9
     --ol7,--oracle7 DIST=ol7
     --ol8,--oracle8 DIST=ol8
+    --ol9,--oracle9 DIST=ol9
 
     -p:,--profile: PROFILE=
     -P,--prod PROFILE=prod