Revert "Add kubeval to install_tool."

This reverts commit dea863ee35.
2026-05-25 21:19:09 -07:00 · 2022-05-05 21:11:29 -07:00
parent 63f401c84b
commit 7165e7c93f
1 changed files with 0 additions and 9 deletions
--- 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