billchenchina/ognibuild
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Support quiet mode for dist.

Browse source
This commit is contained in:
Jelmer Vernooij 2021-03-01 18:20:21 +00:00
parent 354001c60a
commit 677358e0d5
No known key found for this signature in database
GPG key ID: 579C160D4C9E23E8
5 changed files with 79 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ognibuild/dist.py
View file

@ -63,13 +63,13 @@ class DistNoTarball(Exception):
"""Dist operation did not create a tarball."""
def run_dist(session, buildsystems, resolver, fixers):
def run_dist(session, buildsystems, resolver, fixers, quiet=False):
# Some things want to write to the user's home directory,
# e.g. pip caches in ~/.cache
session.create_home()
for buildsystem in buildsystems:
buildsystem.dist(session, resolver, fixers)
buildsystem.dist(session, resolver, fixers, quiet=quiet)
return
raise NoBuildToolsFound()