#!/bin/sh
# $Id: build-opt-xterm,v 1.10 2023/10/02 22:30:31 tom Exp $
if [ $# = 1 ] && [ -d "$1" ]
then
	OUT=build-opt-`partition`-`pd`.log
	cat >>"$OUT" <<EOF
** `date`
** run: $*
EOF
	( cd "$1" && eval "$0" 2>&1 ) | tee -a "$OUT"
	exit
fi

. no-rcs
rcs_save

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