Re: [PATCH v2] Makefile: make the "sparse" target non-.PHONY
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Sep 24, 2021, 19:37 UTC
- Message-ID
- <xmqqwnn5sr1v.fsf@gitster.g>
- In-Reply-To
- <875yuq4u4u.fsf@evledraar.gmail.com>
Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:
> Would you be OK with just running something like this instead?: > > make -j $(nproc) objects CC=cgcc CFLAGS="-no-compile -Wsparse-error -Wno-pointer-arith -Wno-memcpy-max-count"
Counting both machine and human time cost, I'd rather go with "make foo.sp", even if it is much slower than before, than having to type that, or having remember to run a custom script that encapsulates the above, which is something different from just typing "make".
Of course, I'd be happier if "make sparse" did dependencies right *and* did not involve real compilation, but if that is beyond our capability, then so be it --- I do not that deeply care ;-)