Commit 03b84830 authored by John Zhang's avatar John Zhang

PMD: remove JDK 7 requirement walk-around in toolchain.xml generation; add...

PMD: remove JDK 7 requirement walk-around in toolchain.xml generation; add script to ant source target
parent 94513ee6
Pipeline #2079 failed with stage
in 753 minutes and 52 seconds
......@@ -11,15 +11,6 @@ if [ ! -e $1 ]; then
cat > $1 <<- EOM
<?xml version="1.0" encoding="UTF8"?>
<toolchains>
<toolchain>
<type>jdk</type>
<provides>
<version>1.7</version> <!-- # though the actual version might be greater, pmd requires 1.7 here. -->
</provides>
<configuration>
<jdkHome>$JAVA_HOME</jdkHome>
</configuration>
</toolchain>
<toolchain>
<type>jdk</type>
<provides>
......
......@@ -197,6 +197,9 @@ BUILDING:
<include name="benchmarks/bms/*/downloads/**.MD5"/>
<include name="benchmarks/bms/*/src/**"/>
<!-- add pmd toolchain setup script -->
<include name="benchmarks/bms/pmd/mvn_toolchain_setup.sh"/>
<!-- add eclipse's plugin -->
<include name="benchmarks/bms/eclipse/plugin/META-INF/**"/>
<include name="benchmarks/bms/eclipse/plugin/src/**"/>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment