Dear Arduino Team member(s),
Thank you for your reply, that makes sense.
I did not know of Arduino CLI.
From Arduino CLI documentation "The compile step is skipped if the .o and .d files exist and have timestamps newer than the source and all the dependent files. If the source or any dependent file has been modified, or any error occurs verifying the files"
I wanted it for chasing warnings that do not reappear if the .o/.d file exists and is newer than source. I don't like warnings. Make/build logic standardized on "if .o/.d is newer than source, do not compile" long ago. It's fine for normal situations. Sometimes for us "advanced and experienced" long time coders using someone else's library requires chasing these warnings.
I will try the CLI but may find it easier to either "touch" the source or delete the .o/.d
I rescind my request.
Thank you again.