From ebbd26816631a194bb7dbc09960e57134333b254 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 13 May 2020 12:56:01 +0200 Subject: [PATCH] Toplevel test-all target --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Makefile b/Makefile index 888c219..5ae8065 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,10 @@ preserves.pdf: preserves.md preserves.css google-chrome --headless --disable-gpu --print-to-pdf=$@ \ http://localhost:4000/preserves/preserves.html + +test-all: + make -C tests + (cd implementations/javascript; npm test) + (cd implementations/python; make test) + (cd implementations/racket/preserves; make testonly) + (cd implementations/rust; cargo test)