diff options
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index c5c29d5cd2..acdf255db3 100755 --- a/configure +++ b/configure @@ -907,7 +907,7 @@ mips64*) base_machine=mips64 machine=mips/mips64/$machine ;; mips*) base_machine=mips case "`uname -m`" in IP22) machine=mips/mips3 ;; - *) machine=mips/$machine ,, + *) machine=mips/$machine ;; esac ;; sparc | sparcv[67]) base_machine=sparc machine=sparc/sparc32 ;; |