diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2016-05-09 18:08:22 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2016-05-09 18:08:22 +0200 |
| commit | c71baf223e8de56d8cef3814952d704987125ce2 (patch) | |
| tree | acfcf66146a6734f2d17166d935de7c340287ca9 /src/threads | |
| parent | e589c37199b3aa54d1cb8475fcf15651c79bc85c (diff) | |
| download | pintos-rs-c71baf223e8de56d8cef3814952d704987125ce2.tar.gz | |
usage help message for flag -F
Diffstat (limited to 'src/threads')
| -rw-r--r-- | src/threads/init.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/threads/init.c b/src/threads/init.c index 6633d2c..54cae24 100644 --- a/src/threads/init.c +++ b/src/threads/init.c @@ -371,6 +371,7 @@ usage (void) " -Q Power off VM after actions or on panic.\n" " -q Force off VM after actions or on panic.\n" " -f Format file system disk during startup.\n" + " -F=COUNT Interrupts per second [20-60000].\n" " -rs=SEED Set random number seed to SEED.\n" " -mlfqs Use multi-level feedback queue scheduler.\n" #ifdef USERPROG |