[m-rev.] for review: make --generate-dependencies-ints more practical

[Zoltan Somogyi]

On 2023-10-13 08:02 +11:00 AEDT, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> An install with this diff was able to successfully build
> a workspace in which in several directories including
> the compiler, the depend target was modified to use the new option.
> 
> For review by anyone.

I am committing this diff. Post-commit reviews still welcome.

Zoltan.