diff options
author | Ben Gamari <ben@smart-cactus.org> | 2023-01-17 18:35:41 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2023-02-12 18:05:44 -0500 |
commit | 3e18d49314ba4b6e6a9e4f3428b9b873265cb9aa (patch) | |
tree | e6142bb28d75ae622890b629170feb5654da000d /.gitlab | |
parent | bcc6c918baf9164922813e4f05bd41854e274002 (diff) | |
download | haskell-3e18d49314ba4b6e6a9e4f3428b9b873265cb9aa.tar.gz |
upload_ghc_libs: More control over which packages to operate on
Here we add a `--skip` flag to `upload_ghc_libs`, making it easier to
limit which packages to upload. This is often necessary when one package
is not uploadable (e.g. see #22740).
Diffstat (limited to '.gitlab')
-rwxr-xr-x | .gitlab/rel_eng/upload_ghc_libs.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab/rel_eng/upload_ghc_libs.py b/.gitlab/rel_eng/upload_ghc_libs.py index 7d181038d7..ecbfa11bd4 100755 --- a/.gitlab/rel_eng/upload_ghc_libs.py +++ b/.gitlab/rel_eng/upload_ghc_libs.py @@ -197,7 +197,7 @@ def main() -> None: parser_prepare.add_argument('--bindist', required=True, type=Path, help='extracted binary distribution') parser_upload = subparsers.add_parser('upload') - parser_upload.add_argument('--skip', nargs='*', type=str, help='skip uploading of the given package') + parser_upload.add_argument('--skip', default=[], action='append', type=str, help='skip uploading of the given package') parser_upload.add_argument('--docs', required = True, type=Path, help='folder created by --prepare') parser_upload.add_argument('--publish', action='store_true', help='Publish Hackage packages instead of just uploading candidates') args = parser.parse_args() @@ -212,7 +212,7 @@ def main() -> None: if args.command == "upload": for pkg_name in args.skip: assert pkg_name in PACKAGES - pkgs = pkgs - args.skip + pkgs = pkgs - set(args.skip) if args.command == "prepare": manifest = {} |