| Index: configure
|
| diff --git a/configure b/configure
|
| index 3258440afcfa370eaba2fcbd2cf359a540c83ae0..bfeb9035992902ff3bec462affc56a84f866c9cd 100755
|
| --- a/configure
|
| +++ b/configure
|
| @@ -5489,6 +5489,7 @@ case "$enableval" in
|
| X8664) SUBZERO_TARGETS_TO_BUILD="X8664 $SUBZERO_TARGETS_TO_BUILD" ;;
|
| ARM32) SUBZERO_TARGETS_TO_BUILD="ARM32 $SUBZERO_TARGETS_TO_BUILD" ;;
|
| ARM64) SUBZERO_TARGETS_TO_BUILD="ARM64 $SUBZERO_TARGETS_TO_BUILD" ;;
|
| + MIPS32) SUBZERO_TARGETS_TO_BUILD="MIPS32 $SUBZERO_TARGETS_TO_BUILD" ;;
|
| *) { { echo "$as_me:$LINENO: error: Unrecognized subzero target $a_target" >&5
|
| echo "$as_me: error: Unrecognized subzero target $a_target" >&2;}
|
| { (exit 1); exit 1; }; } ;;
|
|
|