From 3c7808c668e07f8e7c6cdc740c5fce7992438d44 Mon Sep 17 00:00:00 2001 From: flammie <flammie@users.noreply.github.com> Date: Fri, 3 Jan 2025 12:11:07 +0000 Subject: [PATCH] deploy: 1c9be475026a367f82a57ea81c681ed1ed1c681f --- 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" ;\