diff options
Diffstat (limited to 'ml/dlib/docs/testenv')
-rwxr-xr-x | ml/dlib/docs/testenv | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/ml/dlib/docs/testenv b/ml/dlib/docs/testenv deleted file mode 100755 index 8d2ce6bc9..000000000 --- a/ml/dlib/docs/testenv +++ /dev/null @@ -1,31 +0,0 @@ -#/bin/sh -# -#This script checks to make sure all the commands we need are -#present - -return_error() -{ - echo "Error, can't run the $1 command" - exit 1 -} - - -echo Testing environment for needed utilities - -bc -h > /dev/null || return_error "bc"; -echo nothing | awk '{}' > /dev/null || return_error "awk"; -echo | sed -e "s/s/r/" > /dev/null || return_error "sed"; -htmlify > /dev/null || return_error "htmlify"; -echo | xargs > /dev/null || return_error "xargs"; -hg > /dev/null || return_error "hg"; -xsltproc -V > /dev/null || return_error "xsltproc"; -tar --help > /dev/null || return_error "tar"; -zip -h > /dev/null || return_error "zip"; -bzip2 -h &> /dev/null || return_error "bzip2"; -pygmentize -h &> /dev/null || return_error "pygmentize"; -which sphinx-build &> /dev/null || return_error "sphinx-build"; - - -echo All needed utilities found -exit 0 - |