]> git.tuebingen.mpg.de Git - osl.git/commitdiff
Merge branch 'refs/heads/t/build' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 17 Jun 2020 20:33:57 +0000 (22:33 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 17 Jun 2020 20:33:57 +0000 (22:33 +0200)
* refs/heads/t/build:
  build: Deactivate implicit build make(1) rules.
  build: Mark files generated by lopsub as precious.
  build: Remove make(1) targets to build a static library.
  build: Combine make(1) targets osl_errors.h and osl.h.
  build: Make sure osl.h exists when we run the compiler.


Trivial merge