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