I did, actually, implement the very same fix. I was, solely, afraid of pushing it in case it was a feature and I missed something cardinal.
Thanks.
------- Original Message -------
On Thursday, March 9th, 2023 at 3:02 PM, Herman ten Brugge via Tinycc-devel <tinycc-devel@nongnu.org> wrote:
On 3/9/23 08:53, certanan wrote:
Binaries do not get built - and are
omitted from the installation process, in turn - when running
'make install' before 'make'. Is this a feature, or a bug?
Just pushed a fix.
Herman