Remove old cruft

Static analysis showed this code is not being used, and we can always
bring it back if necessary through git.

Change-Id: Id8bf7d73436b5c3d0dfe050befaae034a05afc86

2 files changed, 0 insertions, 41 deletions

diff --git a/scripts/python-check b/scripts/python-check
deleted file mode 100644
index fc89023d..00000000
--- a/scripts/python-check
+++ /dev/null
@@ -1,35 +0,0 @@
-#!/bin/sh
-# Copyright (C) 2012-2013,2015  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, see <http://www.gnu.org/licenses/>.
-
-# 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
diff --git a/scripts/sparse-gunzip b/scripts/sparse-gunzip
deleted file mode 100755
index b6e1aa16..00000000
--- a/scripts/sparse-gunzip
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/usr/bin/python
-from morphlib.util import copyfileobj
-import gzip, sys
-infh = gzip.GzipFile(fileobj=sys.stdin)
-copyfileobj(infh, sys.stdout)
-infh.close()