]> git.tuebingen.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>
Mon, 20 May 2024 18:22:53 +0000 (20:22 +0200)
Without the .PRECIOUS special target, the files get removed after a
successful build and a subsequent make run rebuilds 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=$@ < $<