aboutsummaryrefslogtreecommitdiffstats
path: root/tools/check/chk
diff options
context:
space:
mode:
Diffstat (limited to 'tools/check/chk')
-rwxr-xr-xtools/check/chk63
1 files changed, 0 insertions, 63 deletions
diff --git a/tools/check/chk b/tools/check/chk
deleted file mode 100755
index e776cff3af..0000000000
--- a/tools/check/chk
+++ /dev/null
@@ -1,63 +0,0 @@
-#!/bin/sh
-
-func_usage ()
-{
- echo "Usage:"
- echo " $0 [build|install|clean]"
- echo
- echo "Check suitability for Xen build or install."
- echo "Exit with 0 if OK, 1 if not."
- echo
- echo "Calling with 'clean' removes generated files."
- exit 1
-}
-
-PATH=$PATH:/sbin:/usr/sbin
-OS=`uname -s`
-export PATH OS
-
-if [ "$OS" = "SunOS" ]; then
- exit 0
-fi
-
-case $1 in
- build)
- check="CHECK-BUILD"
- ;;
- install)
- check="CHECK-INSTALL"
- ;;
- clean)
- exit 0
- ;;
- *)
- func_usage
- ;;
-esac
-
-failed=0
-
-echo "Xen ${check} " `date`
-for f in check_* ; do
- case $f in
- *~)
- continue
- ;;
- *)
- ;;
- esac
- if ! [ -x $f ] ; then
- continue
- fi
- if ! grep -Fq "$check" $f ; then
- continue
- fi
- echo -n "Checking $f: "
- if ./$f 2>&1 ; then
- echo OK
- else
- failed=1
- fi
-done
-
-exit ${failed}