Patch for configure --with-threads option.

[Mo DeJong]

Could someone add this patch to the configure script?
It just prints the available threading systems.

Mo DeJong
Red Hat Inc

Index: configure.in
===================================================================
RCS file: /cvs/kaffe/kaffe/configure.in,v
retrieving revision 1.146
diff -u -r1.146 configure.in
--- configure.in        2000/07/21 22:41:36     1.146
+++ configure.in        2000/07/22 18:37:35
@@ -380,7 +380,7 @@
 dnl Use the new internal threading system "jthreads"
 dnl 
-------------------------------------------------------------------------
 
-AC_ARG_WITH(threads,[  --with-threads=SYSTEM   Define which threading 
system to
 use])
+AC_ARG_WITH(threads,[  --with-threads=SYSTEM   Define which threading 
system to
 use (unix-jthreads, unix-pthreads, win32, oskit-pthreads, or beos-native)])
 AC_MSG_CHECKING(thread system)
 if test x"$with_threads" = x"" ; then
        with_threads=unix-jthreads