configure.in
changeset 723 1e8865a3e127
parent 720 f90d80d68071
child 724 6b3dfe0198bb
     1.1 --- a/configure.in	Sun Sep 21 19:25:45 2003 +0000
     1.2 +++ b/configure.in	Wed Sep 24 21:45:27 2003 +0000
     1.3 @@ -2646,6 +2646,7 @@
     1.4  CFLAGS="$CFLAGS -I\$(top_srcdir)/src/timer"
     1.5  CFLAGS="$CFLAGS -I\$(top_srcdir)/src/endian"
     1.6  CFLAGS="$CFLAGS -I\$(top_srcdir)/src/file"
     1.7 +CFLAGS="$CFLAGS -I\$(top_builddir)/src/thread"
     1.8  CXXFLAGS="$CFLAGS"
     1.9  
    1.10