1 files changed, 0 insertions, 17 deletions
diff --git a/third_party/nix/mk/tracing.mk b/third_party/nix/mk/tracing.mk
deleted file mode 100644
index 13912d3c78..0000000000
--- a/third_party/nix/mk/tracing.mk
+++ /dev/null
@@ -1,17 +0,0 @@
-V ?= 0
-
-ifeq ($(V), 0)
-
-  trace-gen     = @echo "  GEN   " $@;
-  trace-cc      = @echo "  CC    " $@;
-  trace-cxx     = @echo "  CXX   " $@;
-  trace-ld      = @echo "  LD    " $@;
-  trace-ar      = @echo "  AR    " $@;
-  trace-install = @echo "  INST  " $@;
-  trace-javac   = @echo "  JAVAC " $@;
-  trace-jar     = @echo "  JAR   " $@;
-  trace-mkdir   = @echo "  MKDIR " $@;
-
-  suppress  = @
-
-endif