#! /bin/sh

PATH=/bin:/usr/bin:$PATH	# override "rm -i" script in user's path
	# ("configure" scripts should use rm -f rather than just rm)

./configure --enable-wide-chars \
	--enable-256-color --enable-logging \
	--enable-hp-fkeys --enable-sco-fkeys \
	$*
#	--disable-tek4014 --disable-vt52 \
