From d846e82832e53e1ec0b9b71fee3ca530601e17c2 Mon Sep 17 00:00:00 2001
From: Vaxry <vaxry@vaxry.net>
Date: Sat, 6 Apr 2024 18:50:04 +0100
Subject: [PATCH] makefile: add patch option to make asan

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index e0a001b8..374d9167 100644
--- a/Makefile
+++ b/Makefile
@@ -122,6 +122,10 @@ asan:
 	rm -rf ./wayland
 	git reset --hard
 
+	@echo -en "If you want to apply a patch, input its path (leave empty for none):\n"
+	@read patchvar
+	@if [-n "$patchvar"]; then patch -p1 < $patchvar || echo ""; else echo "No patch specified"; fi
+
 	git clone --recursive https://gitlab.freedesktop.org/wayland/wayland
 	cd wayland && patch -p1 < ../scripts/waylandStatic.diff && meson setup build --buildtype=debug -Db_sanitize=address -Ddocumentation=false && ninja -C build && cd ..
 	cp ./wayland/build/src/libwayland-server.a .