diff --git a/tools/release.sh b/tools/release.sh index 3bfbe6a65..07601f339 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -66,12 +66,13 @@ BS=4096 HDEMU=0 COPY=0 +CVSTAG=HEAD -while getopts "chaq?" c +while getopts "ch?" c do case "$c" in \?) - echo "Usage: $0 [-a] [-c] [-h]" >&2 + echo "Usage: $0 [-c] [-h] [-r ]" >&2 exit 1 ;; h) @@ -83,6 +84,9 @@ do echo " * Copying, not CVS" COPY=1 ;; + r) + CVSTAG=$OPTARG + ;; esac done @@ -167,7 +171,7 @@ chmod -R u+w $RELEASEDIR/usr/lib if [ "$COPY" -ne 1 ] then echo " * Doing new cvs export" - ( cd $RELEASEDIR/usr && mkdir src && cvs export -rHEAD src ) + ( cd $RELEASEDIR/usr && mkdir src && cvs export -r$CVSTAG src ) else ( cd .. && make clean ) srcdir=/usr/src