From: Freedo <freedo@linux-libre.fsfla.org>
Date: Thu, 23 May 2024 12:52:33 +0000 (+0000)
Subject: make sure python and gawk are available
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=refs%2Fheads%2Fbin;p=releases.git

make sure python and gawk are available
---

diff --git a/mkgitrel.pre b/mkgitrel.pre
index 6e04b527ba0..9ab959b0372 100755
--- a/mkgitrel.pre
+++ b/mkgitrel.pre
@@ -32,6 +32,10 @@ do
 
 . $scriptdir/mkgitrel.setprev &&
 
+  # Make sure python and gawk are available.
+  ${PYTHON-python} --version &&
+  ${AWK-gawk} --re-interval --version &&
+
   case $rel in
   v*)
     echo $rel starts with v, that is unexpected >&2