diff --git a/tgt-null/Makefile.in b/tgt-null/Makefile.in
index 47291c039..cba6d9c16 100644
--- a/tgt-null/Makefile.in
+++ b/tgt-null/Makefile.in
@@ -71,6 +71,8 @@ clean:
 distclean: clean
 	rm -f Makefile config.status config.log config.cache
 
+check: all
+
 install: all installdirs $(libdir)/ivl/null.tgt $(INSTALL_DOC) $(libdir)/ivl/null.conf $(libdir)/ivl/null-s.conf
 
 $(libdir)/ivl/null.tgt: ./null.tgt
diff --git a/tgt-stub/Makefile.in b/tgt-stub/Makefile.in
index 1af790193..b93a8452b 100644
--- a/tgt-stub/Makefile.in
+++ b/tgt-stub/Makefile.in
@@ -71,6 +71,8 @@ clean:
 distclean: clean
 	rm -f Makefile config.status config.log
 
+check: all
+
 install: all installdirs $(libdir)/ivl/stub.tgt \
 	$(libdir)/ivl/stub.conf $(libdir)/ivl/stub-s.conf
 
diff --git a/vpi/Makefile.in b/vpi/Makefile.in
index 829d800cf..1c7a5cab2 100644
--- a/vpi/Makefile.in
+++ b/vpi/Makefile.in
@@ -124,6 +124,8 @@ clean:
 distclean: clean
 	rm -f Makefile config.status config.log vpi_config.h
 
+check: all
+
 install: all installdirs $(vpidir)/system.vpi $(libdir)/ivl/system.sft $(INSTALL32)
 
 $(vpidir)/system.vpi: ./system.vpi