Rev 4341 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4341 | Rev 4348 | ||
---|---|---|---|
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 | /* From librtld. */ |
54 | /* From librtld. */ |
54 | #include <rtld.h> |
55 | #include <rtld.h> |
55 | #include <string.h> |
56 | #include <string.h> |
Line 91... | Line 92... | ||
91 | argc = __pcb->argc; |
92 | argc = __pcb->argc; |
92 | argv = __pcb->argv; |
93 | argv = __pcb->argv; |
93 | } |
94 | } |
94 | 95 | ||
95 | main(argc, argv); |
96 | main(argc, argv); |
- | 97 | console_flush(); |
|
96 | } |
98 | } |
97 | 99 | ||
98 | void __exit(void) |
100 | void __exit(void) |
99 | { |
101 | { |
100 | fibril_teardown(__tcb_get()->fibril_data); |
102 | fibril_teardown(__tcb_get()->fibril_data); |