diff --git a/Makefile.in b/Makefile.in index a0bd130..e45e272 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1063,7 +1063,7 @@ clean-local: devtest: devtest-recursive devtest-recursive: - -for subdir in $(SUBDIRS); do \ + @-for subdir in $(SUBDIRS); do \ if test "$$subdir" = . ; then \ continue; \ else \ @@ -1073,7 +1073,7 @@ devtest-recursive: $(MAKE) $(AM_FLAGS) devtest-local devtest-local: - -for t in $(TESTS) ; do \ + @-for t in $(TESTS) ; do \ echo "TEST: $$t" ;\ if test -f "./$$t" ; then \ srcdir=$(srcdir) GIELLA_CORE=$(GIELLA_CORE) "./$$t" ;\ diff --git a/lemmacount.json b/lemmacount.json index 51f0814..dbfab05 100644 --- a/lemmacount.json +++ b/lemmacount.json @@ -1 +1 @@ -{ "schemaVersion": 1, "label": "Lemmas", "message": "149", "color": "black" } +{ "schemaVersion": 1, "label": "Lemmas", "message": "159", "color": "black" }