diff --git a/lgtm-build.sh b/lgtm-build.sh deleted file mode 100755 index 354bcd347c..0000000000 --- a/lgtm-build.sh +++ /dev/null @@ -1,16 +0,0 @@ -$! /bin/sh - -mvn clean package \ - -f pom.xml \ - -B -V -e \ - -Dfindbugs.skip \ - -Dcheckstyle.skip \ - -Dpmd.skip=true \ - -Denforcer.skip \ - -Dmaven.javadoc.skip \ - -DskipTests=true \ - -Dmaven.test.skip=false \ - -Dlicense.skip=true \ - -Drat.skip=true \ - -Dmaven.repo.local=/opt/work/semmle_data/maven_repo \ - -t /opt/work/.m2/toolchains.xml