diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-28 20:03:18 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-28 20:03:18 (GMT) |
commit | ef443c2bd7e8e5581d6634a6a14b803b21e520ae (patch) | |
tree | 8ad01a7de2cc87826759875a4c1e196118b8e3b6 /Makefile.commands | |
parent | c9476f1837246cfe59c7a8e262e404def7c6f533 (diff) |
Move all checks into python code
So that they can be logged.
Diffstat (limited to 'Makefile.commands')
-rw-r--r-- | Makefile.commands | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.commands b/Makefile.commands index c0c6ad7..70ec612 100644 --- a/Makefile.commands +++ b/Makefile.commands @@ -15,8 +15,8 @@ build: run: @$(COMMANDS_DIR)/run -run-tests: - @$(COMMANDS_DIR)/run-tests +check: + @$(COMMANDS_DIR)/check shell: @$(COMMANDS_DIR)/shell |