From ad7f605c04bfe12f579cdda08d15bc8a3a62afd8 Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Wed, 23 Oct 2019 17:40:45 +0100
Subject: makefile: remove 'check' target (#992)

---
 Makefile.in | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Makefile.in')

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)
-- 
cgit v1.2.3