diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-10-23 17:40:45 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-10-23 18:40:45 +0200 |
commit | ad7f605c04bfe12f579cdda08d15bc8a3a62afd8 (patch) | |
tree | e792a012885609b0452846eef4dfbd947611889c /Makefile.in | |
parent | 1dc2bb2266d14dfc082706a947a5f8668ed51a0c (diff) | |
download | ghdl-ad7f605c04bfe12f579cdda08d15bc8a3a62afd8.tar.gz ghdl-ad7f605c04bfe12f579cdda08d15bc8a3a62afd8.tar.bz2 ghdl-ad7f605c04bfe12f579cdda08d15bc8a3a62afd8.zip |
makefile: remove 'check' target (#992)
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index f18e84736..713bb79b8 100644 --- a/Makefile.in +++ b/Makefile.in @@ -132,8 +132,6 @@ install: install.$(backend) uninstall: uninstall.$(backend) -check: check.$(backend) - copy-sources: copy-sources.$(backend) libs: libs.vhdl.$(backend) |