diff options
| -rw-r--r-- | test/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/Makefile b/test/Makefile index 5bb50c622a..ba3a640479 100644 --- a/test/Makefile +++ b/test/Makefile @@ -50,4 +50,8 @@ lit.site.cfg: FORCE clean:: @ find . -name Output | xargs rm -fr +# Daniel hates Chris. +chris-lit: + make LIT_ARGS='-j16 -s' + .PHONY: all report clean |