diff options
author | Tiago Gomes <tiago.gomes@codethink.co.uk> | 2015-11-11 09:19:18 +0000 |
---|---|---|
committer | Baserock Gerrit <gerrit@baserock.org> | 2015-11-20 16:44:33 +0000 |
commit | b549c36dd6359aa22f8636bee7204c4df338b4f6 (patch) | |
tree | 8b36eadbe404f4925637b1b0292c0523a1540a93 /scripts | |
parent | fad8048de66fe6aeaa0478864914bb773f51ed3e (diff) | |
download | morph-b549c36dd6359aa22f8636bee7204c4df338b4f6.tar.gz |
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
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/python-check | 35 | ||||
-rwxr-xr-x | scripts/sparse-gunzip | 6 |
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() |