add Rocky to supported Linux distributions (#374)

Signed-off-by: Sven Nierlein <[email protected]> Co-authored-by: Sven Nierlein <[email protected]>
gearman · Jun 20, 2023 · 14de19e · 14de19e
1 parent 15bd982
commit 14de19e
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/bootstrap.sh b/bootstrap.sh
@@ -200,6 +200,9 @@ set_VENDOR_DISTRIBUTION ()
     nixos)
       VENDOR_DISTRIBUTION='nixos'
       ;;
+    rocky)
+      VENDOR_DISTRIBUTION='rocky'
+      ;;
     *)
       die "attempt to set an invalid VENDOR_DISTRIBUTION=$dist"
       ;;
@@ -275,6 +278,9 @@ set_VENDOR_RELEASE ()
     nixos)
       VENDOR_RELEASE="$release"
       ;;
+    rocky)
+      VENDOR_RELEASE="$release"
+      ;;
     unknown)
       die "attempt to set VENDOR_RELEASE without setting VENDOR_DISTRIBUTION"
       ;;
@@ -331,6 +337,9 @@ set_VENDOR ()
     suse)
       VENDOR='suse'
       ;;
+    rocky*)
+      VENDOR='rocky'
+      ;;
     *)
       die "An attempt was made to set an invalid VENDOR=$vendor"
       ;;