diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-20 23:35:32 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-16 20:36:28 +0100 |
| commit | 3f3a12589b206efe7089520c2f2a1f49245e1dd2 (patch) | |
| tree | 8dc1806f541c33df4dd122396a0408cb3b923f03 /Makefile | |
| parent | 37a824078ff8a581cbbedb1ba8b4beb10d8a82e6 (diff) | |
| download | sparse-dev-3f3a12589b206efe7089520c2f2a1f49245e1dd2.tar.gz | |
don't output value of anonymous symbol's pointer
The value of this pointer is of no use unless you're
using a debugger (or just to see if two things are
identical or not) and it's presence produces noise
when comparing the output of two runs for testing.
Change this by issuing it only if 'verbose' is set.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions