From 40c90cc5daaad53175b802f6ffcc9d68143e2776 Mon Sep 17 00:00:00 2001 From: flammie Date: Fri, 3 Jan 2025 12:10:44 +0000 Subject: [PATCH] deploy: d0eacd2ba20c94058d473204d3fd24fd017cfd05 --- Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.in b/Makefile.in index e45e272..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@