From: Tim Rühsen <tim.ruehsen@gmx.de>
Date: Sun, 26 Jan 2020 15:22:51 +0000 (+0000)
Subject: Merge branch 'tmp-ci-make-j' into 'master'
X-Git-Tag: 3.6.12~9
X-Git-Url: http://git.ipfire.org/gitweb/?a=commitdiff_plain;h=808b86f5fb64540e4e3850d13bb08c83efb20c39;p=thirdparty%2Fgnutls.git

Merge branch 'tmp-ci-make-j' into 'master'

Use 'make -j' with higher values for CI builds and tests

Closes #897

See merge request gnutls/gnutls!1154
---

808b86f5fb64540e4e3850d13bb08c83efb20c39