Commit 51a9388b authored by Grzegorz Bizon's avatar Grzegorz Bizon

Merge branch 'pmake' into 'master'

Makefile: work better with parallel make

See merge request !291
parents 03dc50a0 7fe07938
Pipeline #12585560 pending with stages