release/scripts/extract_src.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#!/bin/sh
# $Id: extract_src.sh,v 1.11 1995/03/25 05:03:40 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
		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