SOURCEDIR was not actually used or honored. It was always set to pwd

pull/932/head
Jesse Vincent 4 years ago
parent dfadd32400
commit 45bafe9bf5
No known key found for this signature in database
GPG Key ID: 122F5DF7108E4046

@ -131,8 +131,8 @@ firmware_size () {
find_sketch () {
SKETCH="${SKETCH:-${DEFAULT_SKETCH}}"
if [ -z "${SKETCH}" ] || [ -z "${ROOT}" ] || [ -z "${SOURCEDIR}" ]; then
echo "SKETCH, SOURCEDIR, and ROOT need to be set before including this file!" >&2
if [ -z "${SKETCH}" ] || [ -z "${ROOT}" ]; then
echo "SKETCH and ROOT need to be set before including this file!" >&2
exit 1
fi

@ -1,6 +1,6 @@
# -*- shell-script -*-
## NEEDS: SKETCH, ROOT, SOURCEDIR
## NEEDS: SKETCH, ROOT
## Should be included when the current directory is the dir of the Sketch.
SKETCH="${SKETCH:-${DEFAULT_SKETCH}}"

Loading…
Cancel
Save