diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/install.sh b/scripts/install.sh index 7f344986..2e46b4fb 100755 --- a/scripts/install.sh +++ b/scripts/install.sh @@ -140,7 +140,7 @@ then if [ ! -f "$PREFIX/$i" ] then echo "Toolchain component missing: $i" >&2 - EXIT=1 + [ -z "$PEDANTIC" ] || EXIT=1 fi fi done |