diff options
-rwxr-xr-x | rvi | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -58,11 +58,10 @@ fi owner="`stat -c "%u:%g" "$1"`" rcsdiff -u "$1" if [ $? -ne 0 ] ; then - rcsdiff "$1" > "$1.rvi.diff" echo echo "Differences detected" echo "run 'co $1' to overwrite with last committed version" - echo "or 'co -l $1; patch $1 < $1.rvi.diff; ci -u $1; chown $owner $1' to commit" + echo "or 'rcs -l $1 && ci -u $1' to commit" exit 1 fi rm -f "$1.rvi.diff" |