]> 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, 6 May 2024 20:10:06 +0000 (22:10 +0200)
Without the .PRECIOUS special target, the files get removed after a
successful build and a subsequent make run rebuilds them.

Makefile

index 3f3afd32e24d2af85b5350ea97b9b6f0501a6a03..f2f9c9ab3aa0a7b99e039d00a4b41f937fadd9ec 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -49,6 +49,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=$@ < $<