2011-01-10 22:33:58 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
SRCDIR=`pwd`
|
2012-01-14 19:46:43 +01:00
|
|
|
MAKE=$1
|
|
|
|
|
DISTDIR=$2
|
2011-02-05 23:23:31 +01:00
|
|
|
|
2012-01-14 19:46:43 +01:00
|
|
|
rm -rf $DISTDIR
|
2011-01-10 22:33:58 +01:00
|
|
|
|
|
|
|
|
if ! test -d src; then
|
|
|
|
|
echo "Please run this from the parent directory.";
|
|
|
|
|
exit 1;
|
|
|
|
|
fi
|
|
|
|
|
|
2012-01-14 19:46:43 +01:00
|
|
|
$MAKE distfiles \
|
|
|
|
|
| grep -E ^/ \
|
|
|
|
|
| sed "s|${SRCDIR}/||" \
|
|
|
|
|
| xargs -I {} ./install-sh -m 0644 "{}" "$DISTDIR/{}"
|
2011-01-10 22:33:58 +01:00
|
|
|
|
2012-01-14 19:46:43 +01:00
|
|
|
for i in `find . -name Makefile -or -name wscript`; do
|
|
|
|
|
./install-sh -m 0644 "$i" "${DISTDIR}/$i"
|
2011-01-10 22:33:58 +01:00
|
|
|
done
|
|
|
|
|
|
2012-01-14 19:46:43 +01:00
|
|
|
chmod +x ${DISTDIR}/configure
|
