mirror/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-04-10 06:44:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Correct default requirements file name in help

Browse Source 
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine 2021-12-03 13:32:10 +01:00
parent 26f60b38de
commit 3d57afe2b0
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
scripts/min_requirements.py
View File

@ -99,6 +99,7 @@ class Requirements:
['install'] + pip_install_options + ['install'] + pip_install_options +
['-r', req_file_name]) ['-r', req_file_name])
DEFAULT_REQUIREMENTS_FILE = 'ci.requirements.txt'
def main() -> None: def main() -> None:
"""Command line entry point.""" """Command line entry point."""
@ -119,11 +120,12 @@ def main() -> None:
" (short for --pip-install-option --user)") " (short for --pip-install-option --user)")
parser.add_argument('files', nargs='*', metavar='FILE', parser.add_argument('files', nargs='*', metavar='FILE',
help="Requirement files" help="Requirement files"
" (default: requirements.txt in the script's directory)") " (default: {} in the script's directory)" \
.format(DEFAULT_REQUIREMENTS_FILE))
options = parser.parse_args() options = parser.parse_args()
if not options.files: if not options.files:
options.files = [os.path.join(os.path.dirname(__file__), options.files = [os.path.join(os.path.dirname(__file__),
'ci.requirements.txt')] DEFAULT_REQUIREMENTS_FILE)]
reqs = Requirements() reqs = Requirements()
for filename in options.files: for filename in options.files:
reqs.add_file(filename) reqs.add_file(filename)