r2211: *** empty log message ***

[ctsim.git] / configure

diff --git a/configure b/configure
index 8bf3a1f02b393db8c333c090e82178ce1efa746b..895ea53c7a355a43b7b8fc19f96871dd39d0c14a 100755 (executable)
--- a/configure
+++ b/configure
@@ -1415,7 +1415,7 @@ fi
 
 PACKAGE=ctsim
 
-VERSION=3.5.4
+VERSION=3.5.6
 
 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
@@ -7338,7 +7338,6 @@ _ACEOF
 fi
 
 if test "${pthread}" = "true" ; then
-  CFLAGS="$CFLAGS -pthread -D_REENTRANT"
 
 cat >>confdefs.h <<\_ACEOF
 #define HAVE_WXTHREADS 1