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