From 64f835ff05df542189e506c772742f86c0df7d94 Mon Sep 17 00:00:00 2001 From: flammie Date: Fri, 3 Jan 2025 12:11:23 +0000 Subject: [PATCH] deploy: 38f6ab18f4d85d1a1a72e35c2ff0c2a31a04f82a --- Makefile.in | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index a0bd130..9f1649e 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@ host = @host@ host_alias = @host_alias@ host_cpu = @host_cpu@ @@ -1063,7 +1064,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 +1074,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" ;\