make sure python and gawk are available

[releases.git] / mkgitrel

diff --git a/mkgitrel b/mkgitrel
index 580ead0eda5d88723453590d6a76ebcd79412869..6b4ef1a2706aabf9a6c955ba91237fe6124a8442 100755 (executable)
--- a/mkgitrel
+++ b/mkgitrel
@@ -1,6 +1,6 @@
 #! /bin/bash
 
-# Copyright 2021 Alexandre Oliva <lxoliva@fsfla.org>
+# Copyright 2021-2023 Alexandre Oliva <lxoliva@fsfla.org>
 #
 # This program is part of GNU Linux-libre, a GNU project that
 # publishes scripts to clean up Linux so as to make it suitable for
@@ -22,7 +22,7 @@
 # USA
 
 
-# usage: mkgitrel 5.5.5-gnu 5.4.3-gnu 5.0.111-gnu1 ...
+# usage: mkgitrel [--force] 5.5.5-gnu 5.4.3-gnu 5.0.111-gnu1 ...
 
 # This is our release engineering script.  It's very tied to our
 # internal cleaning-up repository structure, as well as to our public
@@ -35,9 +35,11 @@
 # for manual verification before preparing tags and tarballs for
 # publishing.
 
+force= && case $1 in --force) force=$1; shift;; esac
+
 $0.pre "$@" &&
 
-$0.cln "$@" &&
+$0.cln $force "$@" &&
 
 echo all revs cleaned up, awaiting manual check results... &&