Merge branch 'flipperdevices:dev' into dev

This commit is contained in:
Eng1n33r 2022-07-23 20:36:01 +03:00 committed by GitHub
commit 569a26935a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -16,7 +16,7 @@ get_kernel_type()
echo "In MinGW shell use \"fbt.cmd\" instead of \"fbt\"";
exit 1;
else
echo "Your system is not supported. Sorry. Please report us your configuration.";
echo "Sorry, your system is not supported. Please report your configuration to us.";
exit 1;
fi
}
@ -41,7 +41,7 @@ download_toolchain()
main()
{
if [ -z "${SCRIPT_PATH:-}" ]; then
echo "Mannual running this script is now allowed.";
echo "Manual running of this script is not allowed.";
exit 1;
fi
get_kernel_type; # sets TOOLCHAIN_PATH