diff options
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index d736d46d8..5ad6423f5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -561,6 +561,7 @@ uninstall.vpi: $(RM) -f $(DESTDIR)$(incdir)/vpi_user.h $(RM) -f $(DESTDIR)$(incdir)/vhpi_user.h +test: install.vpi.local install.vpi.local: all.vpi $(MKDIR) -p $(incdirsuffix) lib $(INSTALL_DATA) -p $(GRTSRCDIR)/vpi_user.h $(incdirsuffix) |