Merge branch 'refs/heads/t/ONESHELL' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 6 Jun 2019 06:36:16 +0000 (08:36 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 6 Jun 2019 06:36:16 +0000 (08:36 +0200)
* refs/heads/t/ONESHELL:
  build: Use .ONESHELL.

1  2 
Makefile.real

diff --cc Makefile.real
Simple merge