From 70b69c884fa11e548ea239daa94808edc0250b24 Mon Sep 17 00:00:00 2001 From: flammie Date: Fri, 3 Jan 2025 12:11:40 +0000 Subject: [PATCH] deploy: 5b9aaf455507b435967b1a6b67f3be488598a475 --- Makefile.in | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index 7872cf46..8c3f3044 100644 --- a/Makefile.in +++ b/Makefile.in @@ -384,6 +384,7 @@ docdir = @docdir@ dvidir = @dvidir@ exec_prefix = @exec_prefix@ gt_SHARED_common = @gt_SHARED_common@ +gt_SHARED_mul = @gt_SHARED_mul@ gt_SHARED_urj_Cyrl = @gt_SHARED_urj_Cyrl@ host = @host@ host_alias = @host_alias@ @@ -1064,7 +1065,7 @@ clean-local: devtest: devtest-recursive devtest-recursive: - -for subdir in $(SUBDIRS); do \ + @-for subdir in $(SUBDIRS); do \ if test "$$subdir" = . ; then \ continue; \ else \ @@ -1074,7 +1075,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" ;\