4 jrc *.jr

## 2017-07-01 known bug, so above should fail (until fixed)
##0 jrc *.jr
##0 javac jrGen/*.java
##0 jrrun Main > No_input.out 2>&1
##0 scmp No_input.std No_input.out
##0 rm -rf jrGen core *.out
