Merge pull request #130 from opencog/remove-test-target

Replace `make test` by `make check`
opencog · Sep 25, 2023 · 3f72a14 · 3f72a14
2 parents a9d9eb0 + 86d31fe
commit 3f72a14
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -71,7 +71,7 @@ jobs:
           command: cd build && make -j2 tests
       - run:
           name: Run tests
-          command: cd build && make -j2 test ARGS=-j2
+          command: cd build && make -j2 check ARGS=-j2
       - run:
           name: Install URE
           command: cd build && make -j2 install && ldconfig
@@ -132,7 +132,7 @@ jobs:
           command: cd build && make -j2 tests
       - run:
           name: Run tests
-          command: cd build && make -j2 test ARGS=-j2
+          command: cd build && make -j2 check ARGS=-j2
       - run:
           name: Print test log
           command: cat build/tests/Testing/Temporary/LastTest.log
@@ -173,7 +173,7 @@ jobs:
           command: cd build && make -j2 tests
       - run:
           name: Run tests
-          command: cd build && make -j2 test ARGS=-j2
+          command: cd build && make -j2 check ARGS=-j2
       - run:
           name: Install spacetime
           command: cd build && make -j2 install && ldconfig
@@ -238,7 +238,7 @@ jobs:
           command: cd build && make -j2 install && ldconfig
       - run:
           name: Run tests
-          command: cd build && make -j2 test ARGS=-j2
+          command: cd build && make -j2 check ARGS=-j2
       - run:
           name: Print test log
           command: cat build/tests/Testing/Temporary/LastTest.log