ObjFW  Diff

Differences From Artifact [4960851b86]:

To Artifact [7000ece130]:


730
731
732
733
734
735
736




737
738
739
740
741
742
743
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747







+
+
+
+







	miniframe)
		basic_machine=m68000-convergent
		;;
	*mint | -mint[0-9]* | *MiNT | *MiNT[0-9]*)
		basic_machine=m68k-atari
		os=-mint
		;;
	psp)
		basic_machine=mipsallegrexel-psp
		os=-elf
		;;
	mips3*-*)
		basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`
		;;
	mips3*)
		basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
		;;
	monitor)