Add batch mode flag

Change-Id: Id39f4c0b60c89f3346da4ea521e376dd47bb0105
1 file changed
tree: 97966b42ec12521a8d1a6f9bb58b7516fafa57ae
  1. .gitignore
  2. .gitreview
  3. compiler/
  4. model/
  5. pom.xml
  6. runtime/
  7. serializers/
  8. tools/