Rev 4153 | Rev 4581 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4153 | Rev 4327 | ||
|---|---|---|---|
| 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(); |
|
| 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); |