diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-06-27 22:40:17 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-07-04 17:56:30 -0400 |
| commit | ed793d7a5725689bf1f3c81ce3d7958ccaf60e7e (patch) | |
| tree | ea7d4585ff2abc7b4416860f0a6a344886a7f675 /.gitlab | |
| parent | 418afaf11b76339deb29b1717790e3749be89afc (diff) | |
| download | haskell-ed793d7a5725689bf1f3c81ce3d7958ccaf60e7e.tar.gz | |
docs-upload: Fix upload script when no packages are listed
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/upload_ghc_libs.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/.gitlab/upload_ghc_libs.py b/.gitlab/upload_ghc_libs.py index a3f3084891..f9cf7b1815 100755 --- a/.gitlab/upload_ghc_libs.py +++ b/.gitlab/upload_ghc_libs.py @@ -196,9 +196,10 @@ def main() -> None: for pkg_name in pkgs: assert pkg_name in PACKAGES + if pkgs == []: + pkgs = PACKAGES.keys() + if args.command == "prepare": - if pkgs == []: - pkgs = PACKAGES.keys() manifest = {} for pkg_name in pkgs: @@ -215,7 +216,7 @@ def main() -> None: with open(manifest_path / 'manifest.pickle', 'rb') as fin: manifest = pickle.load(fin) for pkg, item in manifest.items(): - if pkgs != [] and pkg.name in pkgs: + if pkg.name in pkgs: print(pkg, item) upload_pkg(pkg, manifest_path, item, publish=args.publish) |