From aa0f1e917029020cdd58bbe58ca620f7a6226314 Mon Sep 17 00:00:00 2001
From: Dorian Zedler <dorian@itsblue.de>
Date: Wed, 20 Jul 2022 16:10:59 +0200
Subject: [PATCH] Chore: better docs

---
 Implementierung/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Implementierung/Makefile b/Implementierung/Makefile
index 205f196..6b768c7 100644
--- a/Implementierung/Makefile
+++ b/Implementierung/Makefile
@@ -24,7 +24,8 @@ help:
 	@echo - all: build everything
 	@echo - clean: clean distfiles
 	@echo - help: show this help
-	@echo - benchmarks: run benchmarks (only works on linux!)
+	@echo - benchmarks: run benchmarks
+	@echo - valgrind-check: run checks with valgrind
 
 build/%.o: src/%.c
 	@mkdir -p build/md2_impls/md2_reference
@@ -72,7 +73,7 @@ benchmarks.csv: md2 ${TESTFILES}
 
 benchmarks: benchmarks.csv
 
-lint: md2 t/3
+valgrind-check: md2 t/3
 
 	@for i in 0 1 2 3 4; do \
 		echo; \