From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 8 Sep 2019 09:07:45 +0000 (+0200)
Subject: Merge branch 'refs/heads/t/ONESHELL'
X-Git-Tag: v0.6.3~39
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=5459ae27b1efa26a1a47186c754a0e4cb486a278;hp=5459ae27b1efa26a1a47186c754a0e4cb486a278

Merge branch 'refs/heads/t/ONESHELL'

A single patch which instructs the build system to run multi-line
statements in Makefiles in a single shell instance.

Cooking in next for nine months.

* refs/heads/t/ONESHELL:
  build: Use .ONESHELL.
---