Files

12 lines
446 B
Diff

--- dist/configure.orig 2023-02-28 12:05:00
+++ dist/configure 2023-02-28 12:10:49
@@ -16915,7 +16915,7 @@
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $JAVA_VERSION" >&5
$as_echo "$JAVA_VERSION" >&6; }
case "$JAVA_VERSION" in
- 1.[3456789]* | 1.[1-9][0-9]* | [23456789]* ) ;;
+ 1.[3456789]* | 1.[1-9][0-9]* | [23456789]* | 1[0-9]* ) ;;
* )
as_fn_error "Java version 1.3 or higher required, got $JAVA_VERSION" "$LINENO" 5 ;;
esac