PACKAGE=ctsim
-VERSION=4.0.2
+VERSION=4.2.0
if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then
{ { echo "$as_me:$LINENO: error: source directory already configured; run \"make distclean\" there first" >&5
fi;
-if test "$withval" == "" -o test "$withval" == "no" -o test "$withval" == "yes" ; then
+if test "$withval" == "no" -o "$withval" == "yes" -o "$withval" == ""; then
echo "$as_me:$LINENO: result: no" >&5
echo "${ECHO_T}no" >&6
else