diff --git a/jode/ci.all b/jode/ci.all index 3bf761b..14b9823 100755 --- a/jode/ci.all +++ b/jode/ci.all @@ -7,6 +7,9 @@ do ./jcpp -DJDK11 $i fi rcsdiff $i + if [ -z "`rlog -L $i`" ]; then + rcs -l $i + fi ci -u $* $i fi done