I have never understood how to do make rule dependencies when one is not explicitly generating new files from old ones. For example, .o from .c
I want to automatically run make checkclangformat checkbadSource before every git push (because I am an idiot and have too many silly failed CIs due to bad source). Currently, we use git ls-files and check every single file each time, even though I have not changed all 5,000 source files in PETSc before a push. Is there someone who understands make dependencies when no files are generated who could reduce make checkclangformat and checkbadSource to under a second? Thanks Barry
