configs  Diff

Differences From Artifact [1aa7086664]:

To Artifact [0e35125457]:


547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
				return 1
			fi
			if [ -z "$DEVKITA64" ]; then
				echo "Please set DEVKITA64!"
				return 1
			fi

			export PATH="$DEVKITA64/bin:$PATH"
			export cross_host="aarch64-none-elf"
			export objfw_configure_flags="--with-nintendo-switch"
			;;
		wii | wii-u)
			if [ -z "$DEVKITPRO" ]; then
				echo "Please set DEVKITPRO!"
				return 1







|







547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
				return 1
			fi
			if [ -z "$DEVKITA64" ]; then
				echo "Please set DEVKITA64!"
				return 1
			fi

			export PATH="$DEVKITA64/bin:$DEVKITPRO/tools/bin:$PATH"
			export cross_host="aarch64-none-elf"
			export objfw_configure_flags="--with-nintendo-switch"
			;;
		wii | wii-u)
			if [ -z "$DEVKITPRO" ]; then
				echo "Please set DEVKITPRO!"
				return 1