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