From 7c0dcbd26c4c1e034d3fba9c0fcfd4f72e99e24e Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 16 Mar 2023 07:53:32 +0100
Subject: [PATCH] [tests] rename test target
---
src/kernel_internals/parsing/tests/dune | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/parsing/tests/dune b/src/kernel_internals/parsing/tests/dune
index ba23e4861fb..d77efd63c87 100644
--- a/src/kernel_internals/parsing/tests/dune
+++ b/src/kernel_internals/parsing/tests/dune
@@ -28,11 +28,11 @@
)
(rule
- (alias run-coding-tests)
+ (alias run-kernel-tests)
(deps ../logic_parser.mly)
(action (run %{dep:./check_logic_parser.exe})))
(alias
- (deps (alias run-coding-tests) )
+ (deps (alias run-kernel-tests) )
(name ptests)
)
--
GitLab