diff --git a/src/Makefile b/src/Makefile index 025bff5bdadd065667ca56a2aa5edd163c1f3ca1..b44b9eb60a0a1742216779c0bce5753d44757a11 100644 --- a/src/Makefile +++ b/src/Makefile @@ -131,6 +131,9 @@ tags: test: $(RESULT) cd test; make test +test_ec: $(RESULT) + cd test; make test_ec + utest: $(RESULT) cd test; make utest