diff --git a/misc/jenkins/generate_pinouts/gen_upload_pinouts.sh b/misc/jenkins/generate_pinouts/gen_upload_pinouts.sh index 10ef0d5b06..9eb0a7b61f 100644 --- a/misc/jenkins/generate_pinouts/gen_upload_pinouts.sh +++ b/misc/jenkins/generate_pinouts/gen_upload_pinouts.sh @@ -34,7 +34,7 @@ for c in $CONNECTORS; do exit 1; fi echo "IMG "$IMG - if [ $IMG ]; then + if [ "$IMG" != "null" ]; then cp $(dirname $c)/$IMG $DIR fi ls $DIR diff --git a/misc/pinout-gen/append.sh b/misc/pinout-gen/append.sh index b88aa12e01..de5f013487 100644 --- a/misc/pinout-gen/append.sh +++ b/misc/pinout-gen/append.sh @@ -1,7 +1,7 @@ #!/usr/bin/env bash DIR=$(cd -P -- "$(dirname -- "$0")" && pwd -P)"/" -TEXT=$(sed -e "/\/\/\/DATA\/\/\//{a \ \`$1\ \`,\n///DATA///" -e "d}" $2) +TEXT=$(sed -e "/\/\/\/DATA\/\/\//{a \ \`$(echo ${1//\//\\/} | tr -d '\n')\ \`,\n///DATA///" -e "d}" $2) if [ $? -ne 0 ]; then echo "Error in append.sh" exit 1;