shithub: riscv

Download patch

ref: 46faca54edf1eda39a45f540697196074a00c779
parent: 1e315f896d9496e22546304ef8b2de74b9451fc4
author: Ori Bernstein <ori@eigenstate.org>
date: Mon Aug 10 15:36:09 EDT 2020

stdio.h: correct return type of putc

The putc macro is specified as returning an int, but our
type conversion rules turned it into a uint. Put in the
appropriate cast to make the type what we want.