From be4cef51fc2952b3a2c6d17d0caf9d5703c56c46 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Mon, 16 Dec 2024 13:40:49 +0100
Subject: [PATCH] Makefile: add target lpsize

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

diff --git a/Makefile b/Makefile
index ae1f8ba..78bfd0c 100644
--- a/Makefile
+++ b/Makefile
@@ -321,3 +321,7 @@ clean-lptodo: lptodo
 .PHONY: clean-vtodo
 clean-vtodo: vtodo
 	xargs -a vtodo rm -f
+
+.PHONY: lpsize
+lpsize:
+	find . -maxdepth 1 -name '*.lp' -print0 | du --files0-from=- --total -s -h | tail -1