Avoid dtrace regenerating the header (#48278)

JuliaLang · Jan 16, 2023 · a9ce60a · a9ce60a
1 parent 12c3b1c
commit a9ce60a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Makefile b/src/Makefile
@@ -91,6 +91,7 @@ endif
 else
 DTRACE_HEADERS :=
 endif
+.SECONDARY: $(addprefix $(BUILDDIR)/,$(DTRACE_HEADERS))
 
 # headers are used for dependency tracking, while public headers will be part of the dist
 UV_HEADERS :=