Richard Henderson writes:
> Signed-off-by: Richard Henderson
Reviewed-by: Alex Bennée
> ---
> configure | 6 ++
> 1 file changed, 6 insertions(+)
>
> diff --git a/configure b/configure
> index 8ad03ea..d303ffc 100755
> --- a/configure
> +++ b/configure
> @@ -4868,6 +4868,12 @@ for i in $
Signed-off-by: Richard Henderson
---
configure | 6 ++
1 file changed, 6 insertions(+)
diff --git a/configure b/configure
index 8ad03ea..d303ffc 100755
--- a/configure
+++ b/configure
@@ -4868,6 +4868,12 @@ for i in $ARCH $TARGET_BASE_ARCH ; do
echo "CONFIG_ALPHA_DIS=y" >> $config_targ