Index: zshrc
==================================================================
--- zshrc
+++ zshrc
@@ -544,18 +544,18 @@
 		switch)
 			if [ -z "$DEVKITPRO" ]; then
 				echo "Please set DEVKITPRO!"
 				return 1
 			fi
-			if [ -z $"DEVKITA64" ]; then
+			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-$1"
+			export objfw_configure_flags="--with-nintendo-switch"
 			;;
 		wii | wii-u)
 			if [ -z "$DEVKITPRO" ]; then
 				echo "Please set DEVKITPRO!"
 				return 1