Initial check-in of openocd-0.7.0 as it can be downloaded from http://sourceforge.net/projects/openocd/files/openocd/0.7.0/ Any modifications will follow. Change-Id: I6949beaefd589e046395ea0cb80f4e1ab1654d55
17 lines
622 B
Bash
Executable File
17 lines
622 B
Bash
Executable File
#!/bin/sh
|
|
# Looks for a suitable tclsh or jimsh in the PATH
|
|
# If not found, builds a bootstrap jimsh from source
|
|
d=`dirname "$0"`
|
|
{ "$d/jimsh0" "$d/test-tclsh"; } 2>/dev/null && exit 0
|
|
PATH="$PATH:$d"; export PATH
|
|
for tclsh in jimsh tclsh tclsh8.5 tclsh8.6; do
|
|
{ $tclsh "$d/test-tclsh"; } 2>/dev/null && exit 0
|
|
done
|
|
echo 1>&2 "No installed jimsh or tclsh, building local bootstrap jimsh0"
|
|
for cc in ${CC_FOR_BUILD:-cc} gcc; do
|
|
{ $cc -o "$d/jimsh0" "$d/jimsh0.c"; } 2>/dev/null || continue
|
|
"$d/jimsh0" "$d/test-tclsh" && exit 0
|
|
done
|
|
echo 1>&2 "No working C compiler found. Tried ${CC_FOR_BUILD:-cc} and gcc."
|
|
echo false
|