[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#45771: 28.0.50; GMP not showing in system-configuration-feature
|
From: |
Eli Zaretskii |
|
Subject: |
bug#45771: 28.0.50; GMP not showing in system-configuration-feature |
|
Date: |
Mon, 11 Jan 2021 17:31:07 +0200 |
> From: Robert Pluim <rpluim@gmail.com>
> Cc: Phillip Lord <phillip.lord@russet.org.uk>, 45771@debbugs.gnu.org
> Date: Mon, 11 Jan 2021 13:28:31 +0100
>
> > if test -z "$GMP_H"; then
> > HAVE_GMP=yes
> > else
> > HAVE_GMP=no
> > fi
> >
> > We need to move the latter before the former.
> >
>
> Done in 62e3750af3
Thanks!