diff --git a/config.sh b/config.sh index 8e9801985..2a86500dc 100755 --- a/config.sh +++ b/config.sh @@ -15,6 +15,8 @@ ARCH="${TARGET%%-*}" HOST="$TARGET" if [ x"${HOST}" == x"riscv64gc-unknown-redox" ] ; then HOST="riscv64-unknown-redox" +elif [ x"${HOST}" == x"i586-unknown-redox" ] ; then + HOST="i686-unknown-redox" fi # Cookbook requires correct CWD to work