add_path.sh: Use non-bash-specific instructions

This commit is contained in:
Angus Gratton 2016-09-12 18:39:13 +10:00
parent bdc4ecb9dd
commit bab3faba58

View file

@ -4,7 +4,7 @@
# #
# Use this script like this: # Use this script like this:
# #
# source ${IDF_PATH}/add_path.sh # . ${IDF_PATH}/add_path.sh
# #
if [ -z ${IDF_PATH} ]; then if [ -z ${IDF_PATH} ]; then
echo "IDF_PATH must be set before including this script." echo "IDF_PATH must be set before including this script."