GNI: respect ++quiet command line argument during startup79/2879/5
commit5dc5de5e412e40c241bde3b5612d6511ade8d492
authorSam White <white67@illinois.edu>
Wed, 9 Aug 2017 17:36:07 +0000 (9 12:36 -0500)
committerSam White <white67@illinois.edu>
Wed, 16 Aug 2017 23:08:47 +0000 (16 18:08 -0500)
tree2c02243d184f6fe5d2b3c5cfd9bfd3237ad8cb5a
parent7f3bdf64494b3c0d39a2c700456868ada5b095c6
GNI: respect ++quiet command line argument during startup

Change-Id: Ia6e64234cfdd19ac65c2b5e592f0af555073e2f8
src/arch/gni/machine.c