git://git.jankratochvil.net
/
nethome.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
grep: Fix F-21+: grep: warning: GREP_OPTIONS is deprecated; please use an alias or...
[nethome.git]
/
bin
/
runtest-extserver
1
#! /bin/bash
2
set -ex
3
b=boards/native-extended-gdbserver.exp
4
test -e $b
5
t=/tmp/extserver.$$
6
trap 'rm -rf $t' EXIT
7
rm -rf $t
8
mkdir $t
9
touch $t/site.exp
10
mkdir $t/boards
11
ln -s $PWD/$b $t/boards
12
DEJAGNU=$t/site.exp runtest --target_board native-extended-gdbserver "$@"