tree 5f57ca4a5f819eb10c5e36b640f79d02d2906b0c
parent 3dae1090cf7d33ba0c84cef711c16105e3235299
author Davide Pesavento <davide.pesavento@lip6.fr> 1515463130 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1515529970 -0500

chunks: print summary by default

Introduce -q/--quiet option to suppress all output.

Change-Id: Ib529849cb1ca8975d11ce6689e2d88708291d1c4
Refs: #4421