diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-05-30 16:14:56 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-05-30 16:14:56 +0000 |
| commit | bfbe0b2aac21f23d5a11008d2736d4e5a3a1db67 (patch) | |
| tree | 482ad142c0aa6d907c3e1f0dff621bbfd80f1224 /src/theory/Makefile.am | |
| parent | c474360092b25b58e199c100a85e3dd61000e82c (diff) | |
remove unused/broken check build target
Diffstat (limited to 'src/theory/Makefile.am')
| -rw-r--r-- | src/theory/Makefile.am | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am index 992796ebb..1341c048a 100644 --- a/src/theory/Makefile.am +++ b/src/theory/Makefile.am @@ -78,15 +78,3 @@ theory_traits.h: theory_traits_template.h mktheorytraits @top_builddir@/src/theo $< \ `cat @top_builddir@/src/theory/.subdirs` \ > $@) || (rm -f $@ && exit 1) - -AM_V_CHECK = $(am__v_CHECK_$(V)) -am__v_CHECK_ = $(am__v_CHECK_$(AM_DEFAULT_VERBOSITY)) -am__v_CHECK_0 = @echo " CHECK " $@; - -.PHONY: theory-properties -theory-properties: - $(AM_V_CHECK)@srcdir@/mktheorytraits \ - theory_traits_template.h \ - `cat @top_builddir@/src/theory/.subdirs` \ - > /dev/null -all-local check-local: theory-properties |