Enable MIPS NPTL

Enable NPTL support for MIPS usermode emulation.

Signed-off-by: Paul Brook <paul@codesourcery.com>

diff --git a/configure b/configure
index 54eb0bf947893014cad0832d827c3eb48c815962..088e47243e99a6f698f7864395a186c6de8c934b 100755 (executable)
--- a/configure
+++ b/configure
@@ -2063,6 +2063,7 @@ case "$target_arch2" in
     echo "#define TARGET_ARCH \"mips\"" >> $config_h
     echo "#define TARGET_MIPS 1" >> $config_h
     echo "#define TARGET_ABI_MIPSO32 1" >> $config_h
+    target_nptl="yes"
     target_phys_bits=64
   ;;
   mipsn32|mipsn32el)