On 7/14/21 9:35 AM, Thomas Huth wrote:
> On 13/07/2021 18.42, Philippe Mathieu-Daudé wrote:
>> +Alex
>>
>> On 7/13/21 11:31 AM, Thomas Huth wrote:
>>> A typo prevents that many features get disabled when the user
>>> runs "configure" with the --without-default-features switch.
>>>
>>> Reported-by:
On 13/07/2021 18.42, Philippe Mathieu-Daudé wrote:
+Alex
On 7/13/21 11:31 AM, Thomas Huth wrote:
A typo prevents that many features get disabled when the user
runs "configure" with the --without-default-features switch.
Reported-by: Cole Robinson
Signed-off-by: Thomas Huth
---
configure |
Philippe Mathieu-Daudé writes:
> +Alex
>
> On 7/13/21 11:31 AM, Thomas Huth wrote:
>> A typo prevents that many features get disabled when the user
>> runs "configure" with the --without-default-features switch.
>>
>> Reported-by: Cole Robinson
>> Signed-off-by: Thomas Huth
>> ---
>> configur
+Alex
On 7/13/21 11:31 AM, Thomas Huth wrote:
> A typo prevents that many features get disabled when the user
> runs "configure" with the --without-default-features switch.
>
> Reported-by: Cole Robinson
> Signed-off-by: Thomas Huth
> ---
> configure | 2 +-
> 1 file changed, 1 insertion(+), 1
A typo prevents that many features get disabled when the user
runs "configure" with the --without-default-features switch.
Reported-by: Cole Robinson
Signed-off-by: Thomas Huth
---
configure | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure b/configure
index 85db248a
