summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorJavier Jardón <javier.jardon@codethink.co.uk>2013-01-18 18:21:27 +0000
committerJavier Jardón <javier.jardon@codethink.co.uk>2013-01-18 18:23:53 +0000
commit053c0993bb62dd5e1a73d3367ea04c70874f3bd1 (patch)
treec7fb90874c8ae0b441cfb6cb937e0b566efe78c8 /scripts
parent76149b07d21ea94c627191748b35adf6ac011728 (diff)
downloadmorph-053c0993bb62dd5e1a73d3367ea04c70874f3bd1.tar.gz
Remove unneded scripts/python-check script
Diffstat (limited to 'scripts')
-rw-r--r--scripts/python-check36
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