From 93a4b1341c1d04569cba90413984aa2770465efa Mon Sep 17 00:00:00 2001 From: Nemo D'ACREMONT Date: Wed, 7 May 2025 09:52:20 +0200 Subject: [PATCH] fix: revert deleted make targets --- Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/Makefile b/Makefile index 5ea5f5c..aa8cd93 100644 --- a/Makefile +++ b/Makefile @@ -64,6 +64,16 @@ ${install_bins_targets}: ${install_dir}/bin/%: ${build_dir}/${tst_dir}/% @mkdir -p $(dir $@) install $^ $@ +PHONY += graphs +graphs: + cd graphs && bash generate_graphs.sh + +PHONY += valgrind +valgrind: ${valgrind_targets} + +PHONY += ${valgrind_targets} +${valgrind_targets}: valgrind_%: ${build_dir}/${tst_dir}/% + valgrind $^ ${check_argv} --leak-check=full --show-reachable=yes --track-origins=yes PHONY += build build: ${bins_target} ${build_dir}/libthread.so ${build_dir}/libthread.a ${build_dir}/${tst_dir}/51-fibonacci ${build_dir}/${tst_dir}/71-preemption