From f6a0d76094e4120d7a6e1226b216cd9df3f8a08d Mon Sep 17 00:00:00 2001
From: "Mark H. Wood" <mwood@iu.edu>
Date: Fri, 24 Jul 2020 11:19:02 -0400
Subject: [PATCH] #2893 Discard un-needed custom LGTM build script.

---
 lgtm-build.sh | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100755 lgtm-build.sh

diff --git a/lgtm-build.sh b/lgtm-build.sh
deleted file mode 100755
index 354bcd347ca4..000000000000
--- 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