Rev 4296 | Rev 4537 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4296 | Rev 4420 | ||
---|---|---|---|
Line 82... | Line 82... | ||
82 | argc = __pcb->argc; |
82 | argc = __pcb->argc; |
83 | argv = __pcb->argv; |
83 | argv = __pcb->argv; |
84 | } |
84 | } |
85 | 85 | ||
86 | main(argc, argv); |
86 | main(argc, argv); |
87 | console_flush_optional(); |
87 | console_flush(); |
88 | } |
88 | } |
89 | 89 | ||
90 | void __exit(void) |
90 | void __exit(void) |
91 | { |
91 | { |
92 | fibril_teardown(__tcb_get()->fibril_data); |
92 | fibril_teardown(__tcb_get()->fibril_data); |