diff options
| -rwxr-xr-x | extra/scripts/get-needed-libgcc-objects.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extra/scripts/get-needed-libgcc-objects.sh b/extra/scripts/get-needed-libgcc-objects.sh index 6c1fe894e..5d81154b2 100755 --- a/extra/scripts/get-needed-libgcc-objects.sh +++ b/extra/scripts/get-needed-libgcc-objects.sh @@ -31,7 +31,9 @@ if $NM --undefined-only libc.ldr | grep -v "^main$" | grep -v "^_GLOBAL_OFFSET_T EXIT_WITH_ERROR=1 fi done - exit $EXIT_WITH_ERROR + if [ $EXIT_WITH_ERROR != 0 ]; then + exit $EXIT_WITH_ERROR + fi else echo No missing symbols found. exit 0 |