diff options
Diffstat (limited to 'release/scripts')
| -rw-r--r-- | release/scripts/extract_src.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/release/scripts/extract_src.sh b/release/scripts/extract_src.sh index 249c551..a340072 100644 --- a/release/scripts/extract_src.sh +++ b/release/scripts/extract_src.sh @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: extract_src.sh,v 1.6 1995/03/21 21:44:54 jkh Exp $ +# $Id: extract_src.sh,v 1.7 1995/03/24 00:16:51 phk Exp $ PATH=/stand:$PATH DDIR=/usr/src @@ -9,6 +9,10 @@ for DIST in base srcbin etc games gnu include lib libexec release sbin lkm \ echo "Extracting ${DIST} sources" cat ${DIST}/${DIST}.?? | gzip -c -d | ( cd $DDIR; cpio -H tar -imdu ) + elif [ -f ${DIST}.aa ]; then + echo "Extracting ${DIST} sources" + cat ${DIST}.?? + | gzip -c -d | ( cd $DDIR; cpio -H tar -imdu ) fi done ln -fs /usr/src/sys /sys |
