diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -82,7 +82,7 @@ run-gdb: cd main && $(MAKE) run-gdb test: - cd main && $(MAKE) test + cd main && $(MAKE) test assembly=$(assembly) check-addins: cd main && $(MAKE) check-addins |