From bab3faba58be405d5634c1fa1e6c4d6ae6de0d09 Mon Sep 17 00:00:00 2001
From: Angus Gratton <angus@espressif.com>
Date: Mon, 12 Sep 2016 18:39:13 +1000
Subject: [PATCH] add_path.sh: Use non-bash-specific instructions

---
 add_path.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/add_path.sh b/add_path.sh
index e2ef40c44b28..6b69f8d44f1d 100644
--- a/add_path.sh
+++ b/add_path.sh
@@ -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."