From: Ben Gras Date: Mon, 20 Sep 2010 11:08:21 +0000 (+0000) Subject: . forget obsolete /usr/local/bin in $PATH X-Git-Tag: v3.1.8 X-Git-Url: http://zhaoyanbai.com/repos/%22http:/www.isc.org/icons/man.named-checkzone.html?a=commitdiff_plain;h=refs%2Fheads%2FR3.1.8;p=minix.git . forget obsolete /usr/local/bin in $PATH . update release.sh's notion of where packages are . update release.sh's notion of how many files are on root as -xdev won't work anymore to separate /usr from / --- diff --git a/tools/release.sh b/tools/release.sh index d24080b0b..6df4e30e2 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -2,12 +2,10 @@ set -e -PATH=$PATH:/usr/local/bin - XBIN=usr/xbin SRC=src -PACKAGEDIR=/usr/pkgsrc/packages +PACKAGEDIR=/usr/pkgsrc/packages/`uname -r`/`uname -m` # List of packages included on installation media PACKAGELIST=packages.install secs=`expr 32 '*' 64` @@ -429,7 +427,7 @@ fi echo " * Counting files" extrakb=`du -s $RELEASEDIR/usr/install | awk '{ print $1 }'` find $RELEASEDIR/usr | fgrep -v /install/ | wc -l >$RELEASEDIR/.usrfiles -find $RELEASEDIR -xdev | wc -l >$RELEASEDIR/.rootfiles +find $RELEASEDIR -print -path $RELEASEDIR/usr -prune | wc -l >$RELEASEDIR/.rootfiles echo " * Writing fstab" if [ "$USB" -ne 0 ]