[m-users.] My contribution

[Julien Fischer]

Hi,

On Thu, 28 Mar 2019, Volker Wysk wrote:

> I've found out, what's going wrong. In the "install" make target, in extras/
> posix/Makefile, there is  a stale "posix_workarounds.o":
>
> .PHONY: install
> install: posix_workarounds.o
>        $(MMC) --make lib$(TARGET).install
>
> As you've written, posix_workarounds.[hc] has been removed, but here it is 
> still being mentioned.

That was an oversight; that reference should have been deleted too.

Julien.