From 7165e7c93fc9b7ff1d1d9b66ed0b85c71c6863a3 Mon Sep 17 00:00:00 2001
From: David Tomaschik <david@systemoverlord.com>
Date: Thu, 5 May 2022 21:11:29 -0700
Subject: [PATCH] Revert "Add kubeval to install_tool."

This reverts commit dea863ee35faf76f3f6351905fb8e91797d06962.
---
 bin/install_tool | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/bin/install_tool b/bin/install_tool
index a3ac774..01263e3 100755
--- a/bin/install_tool
+++ b/bin/install_tool
@@ -430,15 +430,6 @@ EOF
     install_pkgs python3-z3
     pip3 install --user pyvex ropper
     ;;
-  kubeval)
-    makedest
-    download \
-      "https://github.com/instrumenta/kubeval/releases/latest/download/kubeval-linux-amd64.tar.gz" \
-      "/tmp/kubeval.tar.gz"
-    tar -C "${DESTDIR}" -xzf /tmp/kubeval.tar.gz
-    rm /tmp/kubeval.tar.gz
-    add_bin_symlink kubeval
-    ;;
   *)
     echo "Unknown tool: ${TOOL}" >/dev/stderr
     list_tools