1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-26 06:53:52 +01:00

Merge pull request #1916 from mehlis/yunjia-rm-unused-file

yunjia: rm unused file
This commit is contained in:
Hauke Petersen 2014-10-30 23:41:00 +01:00
commit 9ba48e409f

View File

@ -1,14 +0,0 @@
#!/bin/sh
if [ -L "$0" ]; then
FILE=$(readlink -e "$0")
else
FILE="$0"
fi
BIN_FOLDER=$(dirname "${FILE}")
openocd -f "${BIN_FOLDER}/openocd.cfg" \
-c "init" \
-c "targets" \
-c "reset halt" \