From 56e2c9e39d0c2059728c5ac4d0a4c8d533a6c8b1 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Sun, 18 Jan 2026 19:19:22 +0100
Subject: [PATCH] update dump-trace path

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index d0f8ab5..3298d38 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,7 @@ FAIL_SERVER  ?= ${FAIL_BIN}/generic-experiment-server
 FAIL_TRACE   ?= ${FAIL_BIN}/generic-tracing-client
 # FAIL_INJECT  ?= ${FAIL_BIN}/fail-generic-experiment
 FAIL_INJECT  ?= ${FAIL_BIN}/generic-experiment-client
+FAIL_DUMP    ?= ${FAIL_BIN}/dump-trace
 FAIL_IMPORT  ?= ${FAIL_BIN}/import-trace --enable-sanitychecks
 FAIL_PRUNE   ?= ${FAIL_BIN}/prune-trace
 BOCHS_RUNNER ?= ${FAIL_BIN}/bochs-experiment-runner.py
@@ -80,7 +81,7 @@ trace-%:
 ****************************************************************"
 
 dump-%: ${BUILD_DIR}/%/trace.pb
-	${BUILD_DIR}/bin/dump-trace $(shell dirname $<)/trace.pb
+	${FAIL_DUMP} $(shell dirname $<)/trace.pb
 
 ${HOME}/.my.cnf:
 	@echo "[client]" > $@