diff --git a/make/tool_install/gcc-arm-none-eabi.sh b/make/tool_install/gcc-arm-none-eabi.sh
index 6e19cd4d0..12b6f243c 100644
--- a/make/tool_install/gcc-arm-none-eabi.sh
+++ b/make/tool_install/gcc-arm-none-eabi.sh
@@ -21,10 +21,6 @@ _pkgvershort=${_pkgvershort/-q/q}
 tool_url="https://developer.arm.com/-/media/Files/downloads/gnu-rm/${pkgver}/${tool}-${pkgver}-${url_ext}"
 #tool_install_name="${tool}-${_pkgvershort/./_}"
 tool_install_name="${tool}-${pkgver}"
-if [ "$uname" = Windows ]
-then
-	tool_extract_dir=$tools_dir/$tool_install_name
-fi
 
 bin_subdir=bin