util: Allow the short -j option in gen_arm_fs_files.py
Change-Id: I15c3bad13882cd38683b7c733311191e1f51d13f Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com> Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/32555 Reviewed-by: Jason Lowe-Power <power.jg@gmail.com> Maintainer: Jason Lowe-Power <power.jg@gmail.com> Tested-by: kokoro <noreply+kokoro@google.com>
This commit is contained in:
@@ -254,7 +254,7 @@ parser.add_option("--dest-dir", default = "/tmp",
|
||||
"repositories. Generated files will be copied to "
|
||||
"DEST_DIR/binaries (which must not exist). The default "
|
||||
"value is %default")
|
||||
parser.add_option("--make-jobs", type = "int", default = 1,
|
||||
parser.add_option("-j", "--make-jobs", type = "int", default = 1,
|
||||
metavar = "MAKE_JOBS",
|
||||
help = "Number of jobs to use with the 'make' commands. Default value: "
|
||||
"%default")
|
||||
|
||||
Reference in New Issue
Block a user