diff options
| author | Peter Aronoff <peter@aronoff.org> | 2025-09-27 14:56:23 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-28 02:56:23 +0800 |
| commit | 6063ecb64921bfb247f4cb2fa7fc2f03ea94315b (patch) | |
| tree | d1c3ff298ff15d33a72e3a0b040a345aa0d3f05d /Makefile | |
| parent | 69cae6259e91c12cbcf43401afb86c80fdb07f58 (diff) | |
build: remove reference to runtime/indent/Makefile (#35935)
`runtime/indent/Makefile` was removed in 2d8ed73, and now `make clean`
and `make distclean` fail since those jobs call `make -C runtime/indent
clean`
Remove call to `make -C runtime/indent clean`
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -162,7 +162,6 @@ ifneq ($(wildcard build),) $(CMAKE) --build build --target clean endif $(MAKE) -C test/old/testdir clean - $(MAKE) -C runtime/indent clean distclean: $(call rmdir, $(DEPS_BUILD_DIR)) |