From a519aaad3df34bac6c7811010b4ca24d14b0777d Mon Sep 17 00:00:00 2001
From: Joakim Gebart <joakim.gebart@eistec.se>
Date: Wed, 18 Feb 2015 10:20:26 +0100
Subject: [PATCH] dist/tools/openocd: Add documentation for newly introduced
 environment variables

---
 dist/tools/openocd/openocd.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/dist/tools/openocd/openocd.sh b/dist/tools/openocd/openocd.sh
index c882612b1..5c09bd35e 100755
--- a/dist/tools/openocd/openocd.sh
+++ b/dist/tools/openocd/openocd.sh
@@ -6,6 +6,13 @@
 # as it depends on certain environment variables. An OpenOCD
 # configuration file must be present in a the boards dist folder.
 #
+# Global environment variables used:
+# OPENOCD:             OpenOCD command name, default: "openocd"
+# OPENOCD_CONFIG:      OpenOCD configuration file name,
+#                      default: "${RIOTBOARD}/${BOARD}/dist/openocd.cfg"
+# OPENOCD_EXTRA_INIT:  extra parameters to pass on the OpenOCD command line
+#                      before any initialization commands, default: (empty)
+#
 # The script supports the following actions:
 #
 # flash:        flash a given hexfile to the target.