| commit | 538c6ea3d362db71dc34de3941a01d1e5481e664 | [log] [tgz] |
|---|---|---|
| author | James Zern <jzern@google.com> | Sat Jun 09 14:32:45 2012 -0700 |
| committer | James Zern <jzern@google.com> | Sat Jun 09 14:52:56 2012 -0700 |
| tree | a89e55b1f25b778983a5a58892219a3f1f1adf46 | |
| parent | 9904c28f5b421592db61b337cd7700544820ba26 [diff] |
build: hide grep/obj_int_extract commands when verbose=0 Change-Id: Ic30d7335b5bf912b39ea55f2b759fe5b7d523ca8