diff options
Diffstat (limited to 'release/scripts/extract_src.sh')
-rw-r--r-- | release/scripts/extract_src.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/release/scripts/extract_src.sh b/release/scripts/extract_src.sh index 2ee6751..9e7f903 100644 --- a/release/scripts/extract_src.sh +++ b/release/scripts/extract_src.sh @@ -1,11 +1,11 @@ #!/bin/sh -# $Id: extract_src.sh,v 1.11 1995/03/25 05:03:40 phk Exp $ +# $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 src*.aa ; do +for T in s*.aa ; do DIST=`basename $T .aa` if [ -f ${DIST}.aa ]; then echo "Extracting ${DIST} sources" |