Changeset 3457

Timestamp:

04/24/08 15:52:51 (7 months ago)

Author:

larsivi

Message:

Filter out group files for library builds.

Files:

trunk/lib/build-tango.sh

r3275	r3457
45	45
46	46	# This filter can probably be improved quite a bit, but should work
47		# on the supported platforms as of ~~May 2007~~
	47	# on the supported platforms as of April 2008
48	48	filter() {
49	49
50	50	FILE=$1
	51	if [ "`echo $FILE \| grep group`" ]
	52	then
	53	return 1
	54	fi
	55
51	56	if [ "`echo $FILE \| grep win32`" -o "`echo $FILE \| grep Win32`" ]
52	57	then