diff --git a/dist/tools/eclipsesym/cmdline2xml.sh b/dist/tools/eclipsesym/cmdline2xml.sh index 05833c241b..1f3e5d48bb 100755 --- a/dist/tools/eclipsesym/cmdline2xml.sh +++ b/dist/tools/eclipsesym/cmdline2xml.sh @@ -26,6 +26,8 @@ if [ $# -ne 0 ]; then exit 2 fi +readlink () { echo $(cd $(dirname $1); pwd)/$(basename $1); } + XML_INSTRUCTIONS='