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 | |
parent | c9476f1837246cfe59c7a8e262e404def7c6f533 (diff) |
Move all checks into python code
So that they can be logged.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -14,4 +14,3 @@ include Makefile.config include Makefile.commands include Makefile.snapshot include Makefile.docs -include Makefile.check |