diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2023-05-12 10:07:28 +0100 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2023-05-17 16:44:16 +0100 |
commit | 48fd167e6d25a9eb4203d0430fce65753d2f02b8 (patch) | |
tree | 92268223cb7eceedbdc7989305bec3ead34d563b | |
parent | 67330303714ab64751e538f318932a70c36392b6 (diff) | |
download | haskell-48fd167e6d25a9eb4203d0430fce65753d2f02b8.tar.gz |
ghcup-metadata: Don't override existing metadata if version already exists.
-rwxr-xr-x | .gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py b/.gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py index b072f26f0a..6a863122db 100755 --- a/.gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py +++ b/.gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py @@ -276,6 +276,8 @@ def main() -> None: else: with open(args.metadata, 'r') as file: ghcup_metadata = yaml.safe_load(file) + if args.version in ghcup_metadata['ghcupDownloads']['GHC']: + raise RuntimeError("Refusing to override existing version in metadata") ghcup_metadata['ghcupDownloads']['GHC'][args.version] = new_yaml print(yaml.dump(ghcup_metadata)) |