Pipe $(OBJDUMP) output to /dev/null to avoid error
authorKevin Klues <klueska@cs.berkeley.edu>
Wed, 15 Jul 2015 00:32:37 +0000 (17:32 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Wed, 15 Jul 2015 16:38:50 +0000 (09:38 -0700)
commit0773cfc6671f440b4d4a40ad2a545c7de2288c47
treeba63e9434204b3d5a1ab6c697e3abf1575393388
parente31b0478977f139469da4458ca28623498ac1f77
Pipe $(OBJDUMP) output to /dev/null to avoid error

We do this in other places, and without it we get some benign errors if
we don't have a valid cross compiler installed for our architecture. We
fail out gracefully later on.
Makefile