diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-28 17:06:43 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-28 17:06:43 (GMT) |
commit | 4220aeb1963979971d498203b2d33d37c3b3d210 (patch) | |
tree | 63dcea0c1e416bd483f7627691ca4d743ba596ef | |
parent | 02c54b8d30a5010f074cba3a51ee814f739730ea (diff) |
Rename tests to check
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | Makefile.check (renamed from Makefile.tests) | 0 |
2 files changed, 1 insertions, 1 deletions
@@ -13,4 +13,4 @@ all: build include Makefile.config include Makefile.commands include Makefile.buildbot -include Makefile.tests +include Makefile.check diff --git a/Makefile.tests b/Makefile.check index 2d6e7bc..2d6e7bc 100644 --- a/Makefile.tests +++ b/Makefile.check |