push
post-receive deployment hook builds with `make -j16' now!
This commit is contained in:
parent
8b874a9339
commit
85bea96d6c
post-receive deployment hook builds with `make -j16' now!