I hope this version is correct.

diff --git a/distr/todistr b/distr/todistr
index d452233..5ff93e2 100644 (file)
--- a/distr/todistr
+++ b/distr/todistr
@@ -17,8 +17,10 @@ do
                esac
        esac
 done
-set -e
 case x$REV in
-x)     REV=`rlog -h "$FILE"|sed -n -e '/head/s/^head:[         ]*//'` ;;
+x)     REV=`rlog -h "$FILE"|sed -n -e '/head/s/^head:[         ]*//p'` ;;
+esac
+case x$REV in
+x)     exit 2 ;;
 esac
 rcs -ndistr2:$REV $FLAGS $FILE