From 68bebfc42e45811ec5b4750eda7a7fbf46066f0e Mon Sep 17 00:00:00 2001 From: flammie Date: Fri, 3 Jan 2025 12:17:42 +0000 Subject: [PATCH] deploy: adcbaeb6b24ad686fbd807ebe61bc47ee9133368 --- Makefile.in | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index b6c8882..26e3ced 100644 --- a/Makefile.in +++ b/Makefile.in @@ -385,6 +385,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@ @@ -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" ;\