Skip to content

Commit

Permalink
add_path.sh: Use non-bash-specific instructions
Browse files Browse the repository at this point in the history
  • Loading branch information
projectgus committed Sep 12, 2016
1 parent bdc4ecb commit bab3fab
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion add_path.sh
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
#
# Use this script like this:
#
# source ${IDF_PATH}/add_path.sh
# . ${IDF_PATH}/add_path.sh
#
if [ -z ${IDF_PATH} ]; then
echo "IDF_PATH must be set before including this script."
Expand Down

0 comments on commit bab3fab

Please sign in to comment.