4fbc90654c
It turns out that it works perfectly fine for generating 32-bits vDSOs as well. While there, get rid of the extraneous .s file extension. |
||
---|---|---|
.. | ||
cloudabi_clock.c | ||
cloudabi_errno.c | ||
cloudabi_fd.c | ||
cloudabi_file.c | ||
cloudabi_futex.c | ||
cloudabi_mem.c | ||
cloudabi_proc.c | ||
cloudabi_proto.h | ||
cloudabi_random.c | ||
cloudabi_sock.c | ||
cloudabi_thread.c | ||
cloudabi_util.h | ||
cloudabi_vdso.c | ||
cloudabi_vdso.lds |