diff options
author | Javier Jardón <javier.jardon@codethink.co.uk> | 2013-01-18 18:21:27 +0000 |
---|---|---|
committer | Javier Jardón <javier.jardon@codethink.co.uk> | 2013-01-18 18:23:53 +0000 |
commit | 053c0993bb62dd5e1a73d3367ea04c70874f3bd1 (patch) | |
tree | c7fb90874c8ae0b441cfb6cb937e0b566efe78c8 | |
parent | 76149b07d21ea94c627191748b35adf6ac011728 (diff) | |
download | morph-053c0993bb62dd5e1a73d3367ea04c70874f3bd1.tar.gz |
Remove unneded scripts/python-check script
-rw-r--r-- | scripts/python-check | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/scripts/python-check b/scripts/python-check deleted file mode 100644 index 6b79897f..00000000 --- a/scripts/python-check +++ /dev/null @@ -1,36 +0,0 @@ -#!/bin/sh -# Copyright (C) 2012 Codethink Limited -# -# This program is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; version 2 of the License. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License along -# with this program; if not, write to the Free Software Foundation, Inc., -# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. - -# When sourced by scripts, if the python version is too old -# fake the output and exit. - -if ! python --version 2>&1 | grep '^Python 2\.[78]' > /dev/null -then - outpath="$(dirname "$0")/$(basename "$0" .script).stdout" - errpath="$(dirname "$0")/$(basename "$0" .script).stderr" - exitpath="$(dirname "$0")/$(basename "$0" .script).exit" - if [ -r "$outpath" ]; then - cat "$outpath" - fi - if [ -r "$errpath" ]; then - cat "$errpath" >&2 - fi - if [ -r "$exitpath" ]; then - exit "$(cat "$exitpath")" - else - exit 0 - fi -fi |