59 |
/* Never reached. */ |
/* Never reached. */ |
60 |
if (shutdown_reset) |
if (shutdown_reset) |
61 |
{ |
{ |
62 |
printf ("Error: Unable to reset this machine.\n"); |
printf ("Unable to reset this machine.\n"); |
63 |
halt (); |
halt (); |
64 |
} |
} |
65 |
|
|
66 |
printf ("Error: Unable to halt this machine.\n"); |
printf ("Unable to halt this machine.\n"); |
67 |
while (1) |
while (1) |
68 |
; |
; |
69 |
} |
} |
145 |
debug = 1; |
debug = 1; |
146 |
} |
} |
147 |
else if (argv[i][0] == '-') |
else if (argv[i][0] == '-') |
148 |
panic ("Error: Unsupported option %s", argv[i]); |
panic ("Unsupported option %s", argv[i]); |
149 |
else |
else |
150 |
panic ("Error: Invalid non-option argument %s", argv[i]); |
panic ("Invalid non-option argument %s", argv[i]); |
151 |
} |
} |
152 |
} |
} |
153 |
|
|