From c4c3a254bf31983318ec3b7acdba375cc8969217 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marko=20Budiseli=C4=87?= Date: Mon, 7 Nov 2022 18:54:22 +0100 Subject: [PATCH] Remove tools/check-build-system (#642) --- tools/check-build-system | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100755 tools/check-build-system diff --git a/tools/check-build-system b/tools/check-build-system deleted file mode 100755 index e72c34043..000000000 --- a/tools/check-build-system +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/bash -e - -tools=( - go - dotnet - npm - node - java - javac - mono - mcs - virtualenv -) - -is_ok=true -for tool in "${tools[@]}"; do - if ! which "$tool" >/dev/null; then - is_ok=false - echo "$tool not installed!" - fi -done -if [ "$is_ok" = true ]; then - exit 0 -else - exit 1 -fi