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