#!	/bin/sh

set -e

if [ $# -lt 1 ]; then
	echo "Usage: $0 file [file ...]" 1>&2
	echo
	echo "	Strip any executable files in the argument list, leave" 1>&2
	echo "	other kinds of files alone." 1>&2
	exit -1
fi

EXEC1=`file $* | grep ELF | sed 's/:.*$//'`
EXECUTABLES=""
for i in $EXEC1; do {
	x=`file $i`
	if { echo $x | grep -q 'executable' }; then
		EXECUTABLES=$EXECUTABLES" "$i
	else
		if { echo $x | grep -q 'shared object' }; then
			EXECUTABLES=$EXECUTABLES" "$i
		fi
	fi
}; done
EXEC1=""

strip --remove-section=.note --remove-section=.comment $EXECUTABLES
exit 0
