From 4118feb04137e8b01c4fcd5844e2777e4351827e Mon Sep 17 00:00:00 2001 From: Giacomo Travaglini <giacomo.travaglini@arm.com> Date: Mon, 30 Mar 2020 09:58:36 +0100 Subject: [PATCH] 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> --- util/gen_arm_fs_files.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/gen_arm_fs_files.py b/util/gen_arm_fs_files.py index 76fa21b29..2f339a299 100755 --- a/util/gen_arm_fs_files.py +++ b/util/gen_arm_fs_files.py @@ -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") -- 2.30.2