]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 92052ce eeb9a81)
Merge branch 'tmp-ci-make-j' into 'master'
authorTim Rühsen <tim.ruehsen@gmx.de>
Sun, 26 Jan 2020 15:22:51 +0000 (15:22 +0000)
committerTim Rühsen <tim.ruehsen@gmx.de>
Sun, 26 Jan 2020 15:22:51 +0000 (15:22 +0000)
Use 'make -j' with higher values for CI builds and tests

Closes #897

See merge request gnutls/gnutls!1154


Trivial merge
Mirror of https://gitlab.com/gnutls/gnutls.git