From: Giacomo Travaglini <giacomo.travaglini@arm.com>
Date: Mon, 30 Mar 2020 08:58:36 +0000 (+0100)
Subject: util: Allow the short -j option in gen_arm_fs_files.py
X-Git-Tag: v20.1.0.0~305
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4118feb04137e8b01c4fcd5844e2777e4351827e;p=gem5.git

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>
---

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")