1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 32ab9973..8c1d53f4 100644
--- a/Makefile
+++ b/Makefile
@@ -19,3 +19,8 @@ $(CHAPTER_TARGETS):
 tests: print/tests
 print/tests:
 	+$(MAKE) --no-print-directory -C print tests
+
+.PHONY: isa/tests
+tests: isa/tests
+isa/tests:
+	+$(MAKE) --no-print-directory -C isa tests