File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -14,8 +14,8 @@ BUILD_OUTPUT_FILE="output/F3.bin"
1414
1515# --- 1. Conditional Download and Extraction ---
1616
17- if [ ! -d " $TOOLCHAIN_DIR " ]; then
18- echo " Toolchain directory '$TOOLCHAIN_DIR ' not found."
17+ if [ ! -d " $TOOLCHAIN_DIR " ] || [ ! -f " $TOOLCHAIN_DIR /bin/arm-none-eabi-gcc " ] ; then
18+ echo " Toolchain directory '$TOOLCHAIN_DIR ' or required binary not found."
1919
2020 # 1a. Detect Operating System
2121 OS=" "
@@ -49,7 +49,7 @@ if [ ! -d "$TOOLCHAIN_DIR" ]; then
4949
5050 echo " Download and extraction of $TOOLCHAIN_DIR completed successfully."
5151else
52- echo " Toolchain directory '$TOOLCHAIN_DIR ' already exists . Skipping download and extraction."
52+ echo " Toolchain directory '$TOOLCHAIN_DIR ' and required binary found . Skipping download and extraction."
5353fi
5454
5555
You can’t perform that action at this time.
0 commit comments