SEL4PROJ / AOS

Advanced Operating Systems project
https://www.cse.unsw.edu.au/~cs9242/
19 stars 17 forks source link

stdout_fd undeclared #4

Closed linusbrogan closed 2 years ago

linusbrogan commented 3 years ago

When I build, I get an error here because stdout_fd is not in scope (since c64a1d39fbe87e6cab190680a5f913170c2c9941). Should this be fd_out instead? https://github.com/SEL4PROJ/AOS/blob/1e18e0fab5aa46c69bb22a63e2d0b62eec466cce/apps/sosh/src/sosh.c#L130

Ivan-Velickovic commented 2 years ago

Yes, this was fixed in 223a2ff1d7bdee50fee38c741324a56aa2020b25.