diff options
Diffstat (limited to 'release/scripts/extract_src.sh')
| -rw-r--r-- | release/scripts/extract_src.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/release/scripts/extract_src.sh b/release/scripts/extract_src.sh deleted file mode 100644 index 9e7f903efc98..000000000000 --- a/release/scripts/extract_src.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh -# $Id: extract_src.sh,v 1.12 1995/03/28 08:01:47 phk Exp $ -PATH=/stand:$PATH -DDIR=/usr/src - -mkdir -p $DDIR - -for T in s*.aa ; do - DIST=`basename $T .aa` - if [ -f ${DIST}.aa ]; then - echo "Extracting ${DIST} sources" - cat ${DIST}.?? | - gzip -c -d | ( cd $DDIR; cpio -H tar -imdu ) - fi -done -rm -f /sys -ln -fs /usr/src/sys /sys |