Statistics
| Branch: | Tag: | Revision:

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}'"'