rusefi
/
rusefi-1
mirror of https://github.com/rusefi/rusefi-1.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

add check (#2639)

This commit is contained in:
David Holdeman 2021-05-06 22:41:28 -05:00 committed by GitHub
parent a47afe873e
commit 280f34ce02
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
misc/jenkins/generate_pinouts/gen_upload_pinouts.sh
View File

@ -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