From bca56b8545d22884eae29a0fafb7400eb80c5ac1 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 28 Apr 2024 05:10:19 +0200
Subject: [PATCH] Avoid rebuilds of lopsub-generated files.

Without having the .PRECIOUS special target depending on these, the
files get removed after a successful build and a subsequent make run
has to rebuild them.
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index c03e95a..5982640 100644
--- a/Makefile
+++ b/Makefile
@@ -50,6 +50,7 @@ dss: $(objs)
 	$(call SAY, CC $<)
 	$(CC) -c -o $@ $(DSS_CPPFLAGS) $(CPPFLAGS) $(DSS_CFLAGS) $(CFLAGS) \
 		-MMD -MF $(*F).d -MT $@ $<
+.PRECIOUS: %.lsg.c %.lsg.h %.1.gz
 %.lsg.h: %.suite
 	$(call SAY, LSGH $<)
 	$(LSG) --gen-h=$@ < $<
-- 
2.39.5