36 lines
828 B
Diff
36 lines
828 B
Diff
|
From 62ea7bb2656177fbb61d94b90d9a526990876cb8 Mon Sep 17 00:00:00 2001
|
||
|
From: Fabio Valentini <decathorpe@gmail.com>
|
||
|
Date: Mon, 20 Jul 2020 21:27:20 +0200
|
||
|
Subject: [PATCH 0/1] source / target 1.8
|
||
|
|
||
|
---
|
||
|
build.xml | 5 +++--
|
||
|
1 file changed, 3 insertions(+), 2 deletions(-)
|
||
|
|
||
|
diff --git a/build.xml b/build.xml
|
||
|
index 4f400dc..0d28a7f 100644
|
||
|
--- a/build.xml
|
||
|
+++ b/build.xml
|
||
|
@@ -170,7 +170,8 @@
|
||
|
deprecation="${deprecation}"
|
||
|
optimize="on"
|
||
|
debug="on"
|
||
|
- target="1.5"
|
||
|
+ source="1.8"
|
||
|
+ target="1.8"
|
||
|
includes="**/*.java"
|
||
|
excludes="${excludes},**/bak/**"
|
||
|
>
|
||
|
@@ -213,7 +214,7 @@
|
||
|
destdir="${javadoc-dir}"
|
||
|
author="true"
|
||
|
version="true"
|
||
|
- source="1.5"
|
||
|
+ source="1.8"
|
||
|
use="true"
|
||
|
windowtitle="BeanShell ${version}"
|
||
|
doctitle="<h1>BeanShell ${version}<h1>"
|
||
|
--
|
||
|
2.26.2
|
||
|
|