aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/install.sh2
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