From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 28 Apr 2024 03:10:19 +0000 (+0200)
Subject: Avoid rebuilds of lopsub-generated files.
X-Git-Tag: v1.0.2~22
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=bca56b8545d22884eae29a0fafb7400eb80c5ac1;p=dss.git

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.
---

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=$@ < $<