diff options
Diffstat (limited to 'tools/check/check_python_devel')
| -rwxr-xr-x | tools/check/check_python_devel | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tools/check/check_python_devel b/tools/check/check_python_devel deleted file mode 100755 index ee90e5da00..0000000000 --- a/tools/check/check_python_devel +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh -# CHECK-BUILD - -. ./funcs.sh - -if test -z ${PYTHON}; then - PYTHON=python -fi -has_or_fail ${PYTHON} - -${PYTHON} -c ' -import os.path, sys -for p in sys.path: - if os.path.exists(p + "/config/Makefile"): - sys.exit(0) -sys.exit(1) -' || fail "can't find python devel files" |