Rename makefiles BUILD.mk

This way they appear at the top of directory listings.
This commit is contained in:
Justine Tunney 2023-11-28 11:21:08 -08:00
parent 0bffd09433
commit 96f979dfc5
No known key found for this signature in database
GPG key ID: BE714B4575D6E328
145 changed files with 224 additions and 224 deletions

View file

@ -51,7 +51,7 @@ o/$(MODE)/tool/lambda/tromp.o: private \
$(TOOL_LAMBDA_OBJS): \
$(BUILD_FILES) \
tool/lambda/lambda.mk
tool/lambda/BUILD.mk
.PHONY: o/$(MODE)/tool/lambda
o/$(MODE)/tool/lambda: $(TOOL_LAMBDA_BINS) $(TOOL_LAMBDA_CHECKS)