ci: make sure we build Git parallel
authorSZEDER Gábor <szeder.dev@gmail.com>
Thu, 7 Feb 2019 18:37:36 +0000 (19:37 +0100)
committerJunio C Hamano <gitster@pobox.com>
Thu, 7 Feb 2019 19:31:33 +0000 (11:31 -0800)
commit406f93a...48857e8483e1d8143077f45576fe9189
tree4c9d57b...3c907a54268ce193db26d550083efc76copy hash to clipboard (tree)
parentd62dad7...7dca3f6a65162bf0e52cdf6927958e78copy hash to clipboard (diff)
ci/lib.sh