diff options
author | Jacob Vosmaer <jacob@gitlab.com> | 2018-04-19 11:58:10 +0300 |
---|---|---|
committer | Jacob Vosmaer <jacob@gitlab.com> | 2018-04-23 18:51:44 +0300 |
commit | 516a0786596d858549082c86cd1482b253764ea2 (patch) | |
tree | a15d3cb1b590fea66616fa7985e7761c29d539fa | |
parent | 131ed9c894283c2d082d05e3c82d4ddfa22e9e17 (diff) |
Make version format check stricter
-rwxr-xr-x | _support/release | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/_support/release b/_support/release index 915c5c855..81e006135 100755 --- a/_support/release +++ b/_support/release @@ -20,10 +20,8 @@ def main(version) abort "Git remote 'origin' must match #{REMOTE_REGEX}, got #{remote.inspect}" end - if version.start_with?("v") - puts "Do you really want your tag to be v#{version}? Enter 'Yes' to continue; Ctrl-C to abort" - $stdout.flush - abort unless $stdin.gets.chomp == 'Yes' + unless version =~ /^[0-9]/ + abort "Version string #{version.inspect} does not look like a semver (e.g. \"1.0.2\"). Aborting." end run!(%w[make verify]) |