From 61918dcfdb1f3a9e7da00e5bb36a8479094f96bc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Javier=20Jaramago=20Fern=C3=A1ndez?= Date: Tue, 8 Apr 2025 17:04:53 +0200 Subject: [PATCH] Add convenient targets to Makefile for development --- Makefile | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/Makefile b/Makefile index 094d7008f..c7bdbd966 100644 --- a/Makefile +++ b/Makefile @@ -372,6 +372,17 @@ clean: cd test/deps && ${MAKE} clean rm -f pkgroot || true +.PHONY: cleandeps +cleandeps: + cd deps && ${MAKE} cleanall + cd lib && ${MAKE} clean + cd src && ${MAKE} clean + +.PHONY: cleandev +cleandev: + cd lib && ${MAKE} clean + cd src && ${MAKE} clean + .PHONY: cleanall cleanall: cd deps && ${MAKE} cleanall