From 07924a3c6219374cdb58db01230f1e7636cc72a2 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 19 May 2026 15:15:41 +0200
Subject: [PATCH] Use common.mk for sva tests as well

---
 tests/sva/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/sva/Makefile b/tests/sva/Makefile
index dcabcf42b..d8c206664 100644
--- a/tests/sva/Makefile
+++ b/tests/sva/Makefile
@@ -1,3 +1,5 @@
+OVERRIDE_MAIN=1
+include ../common.mk
 
 TESTS = $(sort $(basename $(wildcard *.sv)) $(basename $(wildcard *.vhd)))