Update manager.py

This commit is contained in:
Geoffroy Van Cutsem 2022-05-30 08:36:23 +02:00 committed by GitHub
parent 8331375172
commit aa990cf841
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -110,7 +110,7 @@ def main():
library_json = Path(__file__).parent / 'library.json' library_json = Path(__file__).parent / 'library.json'
parser = argparse.ArgumentParser( parser = argparse.ArgumentParser(
description='ACRN Configurator third part library manager.' description='ACRN Configurator third party library manager.'
) )
parser.add_argument('operation', choices=['check', 'install', 'clean']) parser.add_argument('operation', choices=['check', 'install', 'clean'])
parser.add_argument('-c', '--config', dest='config', default=library_json) parser.add_argument('-c', '--config', dest='config', default=library_json)