]> git.tue.mpg.de Git - osl.git/commit
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)
commit0e23fd87097dd74a6b9e1a365c79716ec623e881
treef37e075454085409dda7f7aa7f95e57e61721eb9
parente859b0a68ed9c523a4d9b8f2a0bd31f85ab511d5
build: Mark files generated by lopsub as precious.

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