version 1.73, 2001/12/13 13:37:16
|
version 1.74, 2001/12/18 16:16:47
|
Line 571 dnl
|
Line 571 dnl
|
if test "$with_annot_threads" = "" ; then |
if test "$with_annot_threads" = "" ; then |
if test "$enable_annot_threads" = "no" ; then |
if test "$enable_annot_threads" = "no" ; then |
with_annot_threads="no" |
with_annot_threads="no" |
ANNOT_THREAD_OPTIONS=-DANNOT_ON_ANNOT |
ANNOT_THREAD_OPTIONS= |
else |
else |
with_annot_threads="yes" |
with_annot_threads="yes" |
ANNOT_THREAD_OPTIONS= |
ANNOT_THREAD_OPTIONS=-DANNOT_ON_ANNOT |
fi |
fi |
fi |
fi |
|
|