--trace=muscles
authorAkim Demaille <demaille@gostai.com>
Tue, 12 Aug 2008 19:48:44 +0000 (21:48 +0200)
committerJoel E. Denny <jdenny@ces.clemson.edu>
Mon, 6 Apr 2009 09:56:14 +0000 (05:56 -0400)
commitc65e52923780b0b20fbb8dcb2f14d14f08163798
tree869f98bbd1ddcdd02b964ac2d5d3703dc339643f
parent96002de2e149fb4be00764aa29d766c3afe18fee
--trace=muscles

* src/getargs.h, src/getargs.c (trace_muscle): New.
(trace_types, trace_args): Support it.
* src/output.c (output_skeleton): Use it.
(cherry picked from commit 5263bea9f7d576c20938619af2197eb5b47a90c3)
ChangeLog
src/getargs.c
src/getargs.h
src/output.c