projects
/
releases.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6e809b6
)
make sure python and gawk are available
author
Freedo
<freedo@linux-libre.fsfla.org>
Thu, 23 May 2024 12:52:33 +0000
(12:52 +0000)
committer
Freedo
<freedo@linux-libre.fsfla.org>
Thu, 23 May 2024 12:52:33 +0000
(12:52 +0000)
mkgitrel.pre
patch
|
blob
|
history
diff --git
a/mkgitrel.pre
b/mkgitrel.pre
index 6e04b527ba00da2cd172d6def369ddaa8f72f0c3..9ab959b0372ca31fa11465a26bbe16f79fd1ac1e 100755
(executable)
--- 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