#!/bin/sh

{ grep -v ^# $1 | grep -v ^- | cut -d\| -f1 | grep -v \\.o$; } | while true; do
	read LL
	if [ "e$LL" == "e" ]; then break; fi

	ST=`file "$LL" | grep "not stripped"`

	if [ "e$ST" != "e" ]; then
		printf "Stripping $LL..."
		#echo $LL
		strip --strip-all "$LL"
		printf "done\n"
	fi
done


#	ST=`file "$1" | grep "not stripped"`
#
#	if [ "e$ST" != "e" ]; then
#		echo $*
#		strip --strip-all "$*"
#	fi
#done