make sure python and gawk are available
authorFreedo <freedo@linux-libre.fsfla.org>
Thu, 23 May 2024 12:52:33 +0000 (12:52 +0000)
committerFreedo <freedo@linux-libre.fsfla.org>
Thu, 23 May 2024 12:52:33 +0000 (12:52 +0000)
mkgitrel.pre

index 6e04b527ba00da2cd172d6def369ddaa8f72f0c3..9ab959b0372ca31fa11465a26bbe16f79fd1ac1e 100755 (executable)
@@ -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