diff --git a/Makefile b/Makefile index badebe2a05fdac9b88700c92c481b7b202e2644c..9eb36408864ae93d1eb78ec47bc6d8f493122342 100644 --- a/Makefile +++ b/Makefile @@ -30,6 +30,11 @@ motivation.html : motivation.md _layouts/slides.html $(INCLUDES) \ -o $@ $< +## unittest : Run unit test (for Python 2 and 3) +unittest: tools/check tools/validation_helpers.py tools/test_check.py + cd tools/ && python2 test_check.py + cd tools/ && python3 test_check.py + ## commands : Display available commands. commands : Makefile @sed -n 's/^##//p' $<