diff options
Diffstat (limited to 'release/scripts')
| -rw-r--r-- | release/scripts/extract_src.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/release/scripts/extract_src.sh b/release/scripts/extract_src.sh index 62a7b44..60b19fd 100644 --- a/release/scripts/extract_src.sh +++ b/release/scripts/extract_src.sh @@ -1,8 +1,10 @@ #!/bin/sh -# $Id: extract_src.sh,v 1.9 1995/03/24 02:45:34 phk Exp $ +# $Id: extract_src.sh,v 1.10 1995/03/24 03:38:48 phk Exp $ PATH=/stand:$PATH DDIR=/usr/src +mkdir -p $DDIR + for T in src*.aa ; do DIST=`basename $T .aa` if [ -f ${DIST}.aa ]; then |
