bsh/0000-source-target-1.8.patch

25 lines
557 B
Diff
Raw Normal View History

2020-07-20 19:38:46 +00:00
diff --git a/build.xml b/build.xml
2021-02-01 13:54:32 +00:00
index 8542245..6179cfa 100644
2020-07-20 19:38:46 +00:00
--- a/build.xml
+++ b/build.xml
2021-02-01 13:54:32 +00:00
@@ -178,8 +178,8 @@
2020-07-20 19:38:46 +00:00
debug="on"
includes="**/*.java"
excludes="${excludes},**/bak/**"
2021-02-01 13:54:32 +00:00
- source="1.6"
- target="1.6"
+ source="1.8"
+ target="1.8"
2020-07-20 19:38:46 +00:00
>
2021-02-01 13:54:32 +00:00
<classpath>
<fileset refid="lib-fileset"/>
@@ -255,7 +255,7 @@
2020-07-20 19:38:46 +00:00
destdir="${javadoc-dir}"
author="true"
version="true"
2021-02-01 13:54:32 +00:00
- source="1.6"
2020-07-20 19:38:46 +00:00
+ source="1.8"
use="true"
windowtitle="BeanShell ${version}"
doctitle="&lt;h1&gt;BeanShell ${version}&lt;h1&gt;"