diff --git a/tgt-verilog/Makefile.in b/tgt-verilog/Makefile.in
index aee582948..eac3269e7 100644
--- a/tgt-verilog/Makefile.in
+++ b/tgt-verilog/Makefile.in
@@ -70,6 +70,8 @@ clean:
 distclean: clean
 	rm -f Makefile
 
+check: all
+
 install: all installdirs $(libdir)/ivl/verilog.tgt \
 	$(includedir)/vpi_user.h