diff options
author | Zoltan Varga <vargaz@gmail.com> | 2004-05-05 14:36:41 +0400 |
---|---|---|
committer | Zoltan Varga <vargaz@gmail.com> | 2004-05-05 14:36:41 +0400 |
commit | c36e12ba5444faeaa94546640657ff529287699c (patch) | |
tree | d247f0766c72e0aae12202e2c6653a6c0be98c00 /configure.in | |
parent | e6064df91a514c84e7de9412d96ed4d21d218b15 (diff) |
2004-05-05 Zoltan Varga <vargaz@freemail.hu>
* configure.in: Detect JNI headers in GNU classpath sources as well.
svn path=/trunk/mono/; revision=26745
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 329e6dcc9a1..b07a6d3c17d 100644 --- a/configure.in +++ b/configure.in @@ -350,9 +350,14 @@ if test x$platform_win32 = xno; then if test -d $with_jdk_dir/include/solaris; then jdk_platform=solaris else + if test -f $with_jdk_dir/include/jni_md.h; then + # GNU Classpath sources + jdk_platform= + else jdk_headers_found=no fi fi + fi else jdk_headers_found=no fi |