diff options
| -rw-r--r-- | Makefile.PL | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.PL b/Makefile.PL index 3e4f64d3..313161d4 100644 --- a/Makefile.PL +++ b/Makefile.PL @@ -47,5 +47,9 @@ rsync-docs: $(MAKE) gz-docs rsync --chmod=Fugo=r -av $(gz_docs) $(docs) $(RSYNC_DEST) +N = $(shell echo $$(( $$(nproc 2>/dev/null || echo 2) + 1))) +check:: pure_all + prove -lv -j$(N) + EOF } |