root / xseg / tools / xseg-domain-targets @ 47a7979c
History | View | Annotate | Download (559 Bytes)
1 |
#!/bin/bash |
---|---|
2 |
|
3 |
set -e |
4 |
|
5 |
[ -z "${XSEG_HOME}" ] && source $(dirname -- "$0")/../envsetup |
6 |
|
7 |
if [ "$1" = "-h" ] || [ "$1" = "--help" ]; then |
8 |
echo "Usage: xseg-domain-targets" |
9 |
exit 1 |
10 |
fi |
11 |
|
12 |
TARGETS= |
13 |
|
14 |
for p in `find ${XSEG_HOME}/sys -mindepth 1 -maxdepth 1 -type d `; do |
15 |
d=`dirname ${p}` |
16 |
b=`basename ${p}` |
17 |
|
18 |
if [ -f "${p}/Makefile" ] && \ |
19 |
[ -f "${XSEG_HOME}/drivers/${b}/Makefile" ] && \ |
20 |
[ -f "${XSEG_HOME}/peers/${b}/Makefile" ]; |
21 |
then |
22 |
[ -n "${TARGETS}" ] && TARGETS=${TARGETS}" " |
23 |
TARGETS="${TARGETS}${b}" |
24 |
fi |
25 |
done |
26 |
|
27 |
echo 'XSEG_DOMAIN_TARGETS="'${TARGETS}'"' |