accept gnu rev
[releases.git] / mkgitrel
1 #! /bin/bash
2
3 success=:
4 for rel
5 do
6   case $rel in
7   v*)
8     echo $rel starts with v, that is unexpected >&2
9     success=false
10     ;;
11   *.*-gnu*)
12     ;;
13   *)
14     echo $rel does not end with -gnu, that is unexpected >&2
15     success=false
16     ;;
17   esac
18 done && $success &&
19
20 $0.cln "$@" &&
21
22 echo all revs cleaned up, awaiting manual check results... &&
23
24 $0.pub "$@" &&
25
26 echo all git tagging done, now compressing... &&
27
28 $0.rel "$@"
29
30 exit