]> git.tue.mpg.de Git - dss.git/commitdiff
Avoid rebuilds of lopsub-generated files.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 28 Apr 2024 03:10:19 +0000 (05:10 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
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

index c03e95a9352308b46fbb0e8a9b1a33b2b6a0c664..59826407f57db1ade187a07b8fbb7a46344c2f04 100644 (file)
--- 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=$@ < $<