Differences From
Artifact [f571b39492]:
6 6 * kiosend() writes to a channel with an open out stream
7 7 */
8 8
9 9 /* we define all platform functions here,
10 10 * whether or not they're for the correct
11 11 * platform - only the ones actually called
12 12 * by the generated code will be linked */
13 -#include <posix.h>
13 +#include <posix/posix.h>
14 14 #include <error_table.h>
15 15
16 16 kiocond kiosend(kiochan target, ksraw string, sz* len) {
17 17 if (target.out.kind == kiostream_closed) return kiocond_fail_closed_stream;
18 18
19 19 # ifdef KFenv_posix
20 20 /* issue the write syscall here and now so we can