Rev 4055 | Rev 4420 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4055 | Rev 4296 | ||
---|---|---|---|
Line 46... | Line 46... | ||
46 | #include <fibril.h> |
46 | #include <fibril.h> |
47 | #include <io/stream.h> |
47 | #include <io/stream.h> |
48 | #include <ipc/ipc.h> |
48 | #include <ipc/ipc.h> |
49 | #include <async.h> |
49 | #include <async.h> |
50 | #include <as.h> |
50 | #include <as.h> |
- | 51 | #include <console.h> |
|
51 | #include <loader/pcb.h> |
52 | #include <loader/pcb.h> |
52 | 53 | ||
53 | extern char _heap; |
54 | extern char _heap; |
54 | extern int main(int argc, char *argv[]); |
55 | extern int main(int argc, char *argv[]); |
55 | 56 | ||
Line 81... | Line 82... | ||
81 | argc = __pcb->argc; |
82 | argc = __pcb->argc; |
82 | argv = __pcb->argv; |
83 | argv = __pcb->argv; |
83 | } |
84 | } |
84 | 85 | ||
85 | main(argc, argv); |
86 | main(argc, argv); |
- | 87 | console_flush_optional(); |
|
86 | } |
88 | } |
87 | 89 | ||
88 | void __exit(void) |
90 | void __exit(void) |
89 | { |
91 | { |
90 | fibril_teardown(__tcb_get()->fibril_data); |
92 | fibril_teardown(__tcb_get()->fibril_data); |