diff options
Diffstat (limited to 'release/scripts/extract_info.sh')
| -rw-r--r-- | release/scripts/extract_info.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/release/scripts/extract_info.sh b/release/scripts/extract_info.sh deleted file mode 100644 index f35ed05..0000000 --- a/release/scripts/extract_info.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh -# $Id: extract_info.sh,v 1.1 1995/01/14 07:41:42 jkh Exp $ -set -e -PATH=/stand:$PATH -DDIR=/ - -DIST=info -echo "Extracting ${DIST}" -cat ${DIST}.?? | gzip -c -d | ( cd $DDIR; cpio -H tar -imdu ) |
