diff --git a/jode/ci.all b/jode/ci.all index dff2233..e3a561d 100755 --- a/jode/ci.all +++ b/jode/ci.all @@ -1,2 +1,4 @@ #!/bin/sh -for i in *.html *.java */*.java; do test -w $i && (rcsdiff $i; ci -u $* $i); done +for i in ci.all jcpp make* COPYING *.html doc/*.texi *.java */*.java; do + test -w $i && (./jcpp -DJDK11 $i; rcsdiff $i; ci -u $* $i); +done