diff options
-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 |