[#3731] Remove check-heimdal.sh

diff --git a/subprojects/krb5/check-heimdal.sh b/subprojects/krb5/check-heimdal.sh
deleted file mode 100755 (executable)
index 377400f..0000000
--- a/subprojects/krb5/check-heimdal.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-
-"$1" --all | grep Vendor | grep -q Heimdal
-