aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
1 files changed, 2 insertions, 6 deletions
diff --git a/configure b/configure
index ac2e832..1b9a5ac 100755
--- a/configure
+++ b/configure
@@ -589,7 +589,7 @@ glibc_configure_flags
float_asflags
float_cflags
atomic_cflags
-ARCH
+WITH_ARCH
XLEN
default_target
FETCHER
@@ -3153,11 +3153,7 @@ fi
# Check whether --with-arch was given.
if test "${with_arch+set}" = set; then :
- withval=$with_arch; ARCH=$withval
-
-else
- ARCH=IMAFD
-
+ withval=$with_arch; WITH_ARCH=--with-arch=$withval
fi