Have make airlock just warn about missing commands unless $PEDANTIC is sent.

diff --git a/scripts/install.sh b/scripts/install.sh
index 7f34498..2e46b4f 100755 (executable)
--- 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