#!/bin/sh
if [ $# != 0 ]
then
	if [ ! -d $1 ] ; then
		echo "not a directory $1"
		exit 1
	fi
	OUT=build-opt-`partition`-`pd`.log
	cat >>$OUT <<EOF/
** `date`
** run: $*
EOF/
	( cd $1 && eval $0 2>&1 ) | tee -a $OUT
	exit
fi

test ! -d bin && mkdir bin
for OPT in `all-opts-xterm`
do
	target=xterm-$OPT
	if test -s bin/$target ; then
		echo SKIP bin/$target
		continue
	fi
	echo MAKE bin/$target
	make distclean
	rm *.out
	cfg-normal --$OPT && \
	make-out && mv xterm bin/$target || touch bin/$target
done
