+# end-sanitize-vr5400
+# start-sanitize-tx19
+ mipstx19 | mipstx19el)
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-tx19
+# start-sanitize-tx49
+ mips64tx49 | mips64tx49el)
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-tx49
+# start-sanitize-r5900
+ mips64r5900 | mips64r5900el) # CYGNUS LOCAL gavin/r5900
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-r5900
+ mips16) # CYGNUS LOCAL krk/mips16
+ basic_machine=$basic_machine-unknown
+ ;;
+ tic30) # CYGNUS LOCAL ian/tic30
+ basic_machine=$basic_machine-unknown
+ ;;
+ c30) # CYGNUS LOCAL ian/tic30
+ basic_machine=tic30-unknown
+ ;;
+# start-sanitize-tic80
+ tic80) # CYGNUS LOCAL fnf/TIc80
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-tic80
+# start-sanitize-sky
+ dvp)
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-sky
+# start-sanitize-v850e
+ v850e) # CYGNUS LOCAL jtc/v850
+ basic_machine=$basic_machine-unknown
+ ;;
+ v850ea) # CYGNUS LOCAL jtc/v850
+ basic_machine=$basic_machine-unknown
+ ;;
+# end-sanitize-v850e
+ 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
+ ;;