HardenedBSD/release/scripts/extract_src.sh
Poul-Henning Kamp 5184328cf8 tell people what we do at the end, since it can take a little while.
use "set -e" when extracting bindist
make src dists extract.
1995-04-13 09:06:15 +00:00

18 lines
339 B
Bash

#!/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