diff --git a/distr/todistr b/distr/todistr new file mode 100644 index 000000000..d452233bd --- /dev/null +++ b/distr/todistr @@ -0,0 +1,24 @@ +REV= +FILE= +while : +do + case $# in + 0) break ;; + esac + ARG="$1" + shift + case "$ARG" in + -r*) REV=`echo "$ARG"| sed s/-r//` ;; + -*) FLAGS=$FLAGS $ARG ;; + *) case x$FILE in + x) FILE="$ARG" ;; + *) echo todistr can only be done on one file at the time + exit 1 ;; + esac + esac +done +set -e +case x$REV in +x) REV=`rlog -h "$FILE"|sed -n -e '/head/s/^head:[ ]*//'` ;; +esac +rcs -ndistr2:$REV $FLAGS $FILE