From 9f77a4a5f1ba8623e759506e8eb4f2c2ee49b363 Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@symbioticeda.com>
Date: Fri, 11 Sep 2020 13:22:07 +0200
Subject: [PATCH] rename make test to make ci

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 8f19bd5..6bb0c97 100644
--- a/Makefile
+++ b/Makefile
@@ -39,7 +39,7 @@ else
 	chmod +x $(DESTDIR)$(PREFIX)/bin/sby
 endif
 
-test: \
+ci: \
   test_demo1 test_demo2 test_demo3 \
   test_abstract_abstr test_abstract_props \
   test_demos_fib_cover test_demos_fib_prove test_demos_fib_live \
@@ -49,7 +49,7 @@ test: \
   test_quickstart_demo test_quickstart_cover test_quickstart_prove test_quickstart_memory \
   run_tests
 	if yosys -qp 'read -verific' 2> /dev/null; then set -x; \
-		YOSYS_NOVERIFIC=1 $(MAKE) test; \
+		YOSYS_NOVERIFIC=1 $(MAKE) ci; \
 	fi
 
 test_demo1:
-- 
2.30.2