]> git.tue.mpg.de Git - osl.git/commitdiff
build: Mark files generated by lopsub as precious.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 17 Jun 2020 17:59:46 +0000 (19:59 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 17 Jun 2020 20:20:02 +0000 (22:20 +0200)
Without this, running make(1) with no arguments after a previous
successful run would re-generate at least the .lsg.c file. This patch
avoids that.

Makefile

index a55273844f9106911dc032a928b7bea7ad732cfa..a993946050cf437aba448c8ba4db646a543f0980 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -84,6 +84,7 @@ fsck.o: oslfsck.lsg.h
 oslfsck: $(fsck_objects)
        $(CC) -o $@ $(fsck_objects) $(LDFLAGS) -llopsub
 
+.PRECIOUS: %.lsg.h %.lsg.c
 %.lsg.c: %.suite
        lopsubgen --gen-c < $<