diff options
Diffstat (limited to 'tools/check/check_python_xml')
| -rwxr-xr-x | tools/check/check_python_xml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tools/check/check_python_xml b/tools/check/check_python_xml deleted file mode 100755 index 5b14971f0f..0000000000 --- a/tools/check/check_python_xml +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -# CHECK-INSTALL - -. ./funcs.sh - -if test -z ${PYTHON}; then - PYTHON=python -fi -has_or_fail ${PYTHON} - -${PYTHON} -c 'import xml.dom.minidom' 2>/dev/null || \ -fail "can't import xml.dom.minidom" |