]> git.tuebingen.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.


No differences found