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)))