test: lake: rename test to tests

(for consistency with Lean)

src/lake/Makefile

@@ -4,7 +4,7 @@ LAKE ?= ./build/bin/lake
 # Suite Targets
 #-------------------------------------------------------------------------------
 
-TESTS := $(addprefix test/, $(shell ls test))
+TESTS := $(addprefix tests/, $(shell ls tests))
 EXAMPLES := $(addprefix examples/, $(filter-out bootstrap, $(shell ls examples)))
 
 default: build
@@ -52,11 +52,11 @@ check-lake:
 # Test / Example Targets
 #-------------------------------------------------------------------------------
 
-test/%.test:
-	cd test/$* && ./test.sh
+tests/%.test:
+	cd tests/$* && ./test.sh
 
-test/%.clean:
-	cd test/$* && ./clean.sh
+tests/%.clean:
+	cd tests/$* && ./clean.sh
 
 examples/%.test:
 	cd examples/$* && ./test.sh

src/shell/CMakeLists.txt

@@ -175,7 +175,7 @@ ENDFOREACH(T)
 # bootstrap: too slow
 # 62: requires elan to download toolchain
 file(GLOB_RECURSE LEANLAKETESTS
-  "${LEAN_SOURCE_DIR}/lake/test/test.sh"
+  "${LEAN_SOURCE_DIR}/lake/tests/test.sh"
   "${LEAN_SOURCE_DIR}/lake/examples/test.sh")
 FOREACH(T ${LEANLAKETESTS})
   if(NOT T MATCHES ".*(lake-packages|bootstrap|62).*")