diff --git a/misc/jenkins/generate_pinouts/gen_upload_pinouts.sh b/misc/jenkins/generate_pinouts/gen_upload_pinouts.sh index 99ae48b885..1dc4727d4f 100644 --- a/misc/jenkins/generate_pinouts/gen_upload_pinouts.sh +++ b/misc/jenkins/generate_pinouts/gen_upload_pinouts.sh @@ -21,6 +21,9 @@ for c in $CONNECTORS; do fi file $DIR/index.html IMG=$(yq r $c 'info.image.file') + if [ $? -ne 0 ]; then + exit 1; + fi echo "IMG "$IMG if [ $IMG ]; then cp $(dirname $c)/$IMG $DIR