@@ -563,11 +563,11 @@
 			if [ -z "$DEVKITPPC" ]; then
 				echo "Please set DEVKITPPC!"
 				return 1
 			fi
 
-			export PATH="$DEVKITPPC/bin:$PATH"
+			export PATH="$DEVKITPPC/bin:$DEVKITPRO/tools/bin:$PATH"
 			export cross_host="powerpc-eabi"
 			export objfw_configure_flags="--with-$1"
 			;;
 		*)
 			echo "Unknown target: $1" 1>&2