+# start-sanitize-tx19
+ mipstx19 | mipstx19el)
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-tx19
+ mips64vr4300 | mips64vr4300el) # CYGNUS LOCAL jsmith/vr4300
+ basic_machine=$basic_machine-unknown
+ ;;
+ mips64vr4100 | mips64vr4100el) # CYGNUS LOCAL jsmith/vr4100
+ basic_machine=$basic_machine-unknown
+ ;;
+ mips64vr5000 | mips64vr5000el) # CYGNUS LOCAL ian/vr5000
+ basic_machine=$basic_machine-unknown
+ ;;
+# start-sanitize-r5900
+ mips64vr5900 | mips64vr5900el) # CYGNUS LOCAL gavin/r5900
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-r5900
+ mips16) # CYGNUS LOCAL krk/mips16
+ basic_machine=$basic_machine-unknown
+ ;;
+# start-sanitize-tic80
+ tic80) # CYGNUS LOCAL fnf/TIc80
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-tic80
+# start-sanitize-v850e
+ v850e) # CYGNUS LOCAL jtc/v850
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-v850e
+# start-sanitize-v850eq
+ v850eq) # CYGNUS LOCAL jtc/v850
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-v850eq
+ d10v) # CYGNUS LOCAL meissner/d10v
+ basic_machine=$basic_machine-unknown
+ ;;
+# start-sanitize-d30v
+ d30v) # CYGNUS LOCAL hunt/d30v
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-d30v
+ # We use `pc' rather than `unknown'
+ # because (1) that's what they normally are, and
+ # (2) the word "unknown" tends to confuse beginning users.
+ i[3456]86)
+ basic_machine=$basic_machine-pc
+ ;;