projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Get rid of DEBUG macro, supporting code, and documentation,
[pintos-anon]
/
src
/
threads
/
init.c
diff --git
a/src/threads/init.c
b/src/threads/init.c
index f6a01dc67080688e44d3f45759c73745dcc75331..589661619b056a2eb40643f2b746da5a9daff15e 100644
(file)
--- a/
src/threads/init.c
+++ b/
src/threads/init.c
@@
-222,8
+222,6
@@
argv_init (void)
for (i = 0; i < argc; i++)
if (!strcmp (argv[i], "-rs"))
random_init (atoi (argv[++i]));
for (i = 0; i < argc; i++)
if (!strcmp (argv[i], "-rs"))
random_init (atoi (argv[++i]));
- else if (!strcmp (argv[i], "-d"))
- debug_enable (argv[++i]);
else if (!strcmp (argv[i], "-q"))
power_off_when_done = true;
#ifdef USERPROG
else if (!strcmp (argv[i], "-q"))
power_off_when_done = true;
#ifdef USERPROG
@@
-255,8
+253,7
@@
argv_init (void)
{
printf (
"Kernel options:\n"
{
printf (
"Kernel options:\n"
- " -rs SEED Seed random seed to SEED.\n"
- " -d CLASS[,...] Enable the given classes of debug messages.\n"
+ " -rs SEED Set random seed to SEED.\n"
#ifdef USERPROG
" -ex 'PROG [ARG...]' Run PROG, passing the optional arguments.\n"
" -ul USER_MAX Limit user memory to USER_MAX pages.\n"
#ifdef USERPROG
" -ex 'PROG [ARG...]' Run PROG, passing the optional arguments.\n"
" -ul USER_MAX Limit user memory to USER_MAX pages.\n"